Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Knowledge Representation / edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter
| Knowledge Representation / edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter |
| Autore | Brachman, Ronald J. |
| Pubbl/distr/stampa | Cambridge : The MIT Press, 1992 |
| Disciplina | 510.78 |
| Soggetto non controllato | Teoria dell'informazione |
| ISBN | 0-262-52168-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001075860403321 |
Brachman, Ronald J.
|
||
| Cambridge : The MIT Press, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the first international conference on principles of knowledge representation and reasoning / edited by Ronald J. Brachman, Hector J. Levesque, Raymond Reiter
| Proceedings of the first international conference on principles of knowledge representation and reasoning / edited by Ronald J. Brachman, Hector J. Levesque, Raymond Reiter |
| Autore | International conference on principles of knowledge representation and reasoning : <1. ; : 1989 |
| Pubbl/distr/stampa | San Mateo [CA] : Morgan Kaufmann, 1989 |
| Descrizione fisica | ix, 520 p. ; 28 cm |
| Disciplina | 160 |
| Collana | The Morgan Kaufmann series in representation and reasoning |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 1-55860-032-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001105820403321 |
|
International conference on principles of knowledge representation and reasoning : <1. ; : 1989
|
||
| San Mateo [CA] : Morgan Kaufmann, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Readings in Knowledge Representation / edited by Ronald J. Brachman and Hector J. Levesque
| Readings in Knowledge Representation / edited by Ronald J. Brachman and Hector J. Levesque |
| Autore | Brachman, Ronald J. |
| Pubbl/distr/stampa | Los Altos [CA] : Morgan Kaufmann, 1985 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 0-934613-01-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001090060403321 |
|
Brachman, Ronald J.
|
||
| Los Altos [CA] : Morgan Kaufmann, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The logic of knowledge bases / Hector J. Levesque, Gerhard Lakemeyer
| 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 | ||
| ||