Foundations of knowledge representation and reasoning / Gerhard Lakemeyer, Bernhard Nebel (eds.) |
Autore | Lakemeyer, Gerhard |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
Descrizione fisica | VIII, 355 p. ; 24 cm |
Disciplina |
006.3
006.33 |
Altri autori (Persone) | Nebel, Bernhard <1956- > |
Collana | Lecture notes in computer science, . Lecture notes in artificial intelligence |
Soggetto topico |
Intelligenza artificiale
Sistema esperto |
ISBN |
0387581073
3540581073 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNISANNIO-AQ10007335 |
Lakemeyer, Gerhard | ||
Berlin [etc.], : Springer, c1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Foundations of knowledge representation and reasoning / Gerhard Lakemeyer (ed.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
Descrizione fisica | VIII, 355 p. : ill. ; 24 cm |
Disciplina | 0063 |
Collana | Lecture notes in artificial intelligence |
Soggetto non controllato | intelligenza artificiale |
ISBN | 3-540-58107-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000200260203316 |
Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
RoboCup 2006: Robot Soccer World Cup X [Risorsa elettronica] / edited by Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540740247 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009248810403321 |
Berlin ; Heidelberg : Springer, 2007 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
The logic of knowledge bases / Hector J. Levesque, Gerhard Lakemeyer |
Autore | Levesque, Hector Joseph <1951- > |
Pubbl/distr/stampa | Cambridge (Mass.) : The MIT Press, c2000 |
Descrizione fisica | xviii, 282 p. ; 24 cm |
Disciplina | 006.332 |
Altri autori (Persone) | Lakemeyer, Gerhard |
Soggetto non controllato |
Intelligenza artificiale - Logica, simbolica e matematica
Rappresentazione della conoscenza Sistemi esperti |
ISBN | 0-262-12232-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001485490403321 |
Levesque, Hector Joseph <1951- > | ||
Cambridge (Mass.) : The MIT Press, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|