Multi-Agent system design verification using knowledge-based reasoning
Anarosa Alves Franco Brandão 1967- Viviane Torres da Silva; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2005
Localização: IME - Inst. Matemática e Estatística (S M751 2005 v.10 )(Acessar)
- 0
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
s m751 2005 v.31
s m751 2004 v.14
browse_callnumber
display.do?vl(4708289UI0)=creator&gathStatTab=true&dscnt=0&callNumberBrowseField=browse_callnumber&mode=Basic&tabRealType=browseshelf&vid=USP&rfnGrp=1&tab=default_tab&vl(56004861UI1)=all_items&dstmp=1722415869879&rfnGrpCounter=1&scp.scps=scope%3A%28USP_VIDEOS%29%2Cscope%3A%28%22PRIMO%22%29%2Cscope%3A%28USP_FISICO%29%2Cscope%3A%28USP_EREVISTAS%29%2Cscope%3A%28USP%29%2Cscope%3A%28USP_EBOOKS%29%2Cscope%3A%28USP_PRODUCAO%29%2Cprimo_central_multiple_fe&fctV=technical_productions&callNumber=s+m751+2005+v.10&fctN=facet_rtype&vl(freeText0)=Brand%C3%A3o%2C%20C&ct=display&fn=search&indx=6&recIdxs=0&elementId=0
Anterior
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 