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.
An introduction to description logic / Franz Baader ... [et al.]
| An introduction to description logic / Franz Baader ... [et al.] |
| Pubbl/distr/stampa | New York, : Cambridge university, 2017 |
| Descrizione fisica | vii, 255 p. ; 23 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68T30 - Knowledge representation [MSC 2020] 68T27 - Logic in artificial intelligence [MSC 2020] |
| ISBN | 978-05-216-9542-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0250649 |
| New York, : Cambridge university, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An introduction to description logic / Franz Baader ... [et al.]
| An introduction to description logic / Franz Baader ... [et al.] |
| Pubbl/distr/stampa | Cambridge, : Cambridge University Press, 2017 |
| Descrizione fisica | VII, 255 p. ; 23 cm |
| Disciplina | 006.3 |
| Soggetto non controllato | Logica della descrizione |
| ISBN | 9780521695428 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910834499803321 |
| Cambridge, : Cambridge University Press, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to description logic / Franz Baader ... [et al.]
| An introduction to description logic / Franz Baader ... [et al.] |
| Pubbl/distr/stampa | New York, : Cambridge university, 2017 |
| Descrizione fisica | vii, 255 p. ; 23 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68T27 - Logic in artificial intelligence [MSC 2020] 68T30 - Knowledge representation [MSC 2020] |
| ISBN | 978-05-216-9542-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00250649 |
| New York, : Cambridge university, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]
| The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.] |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 2007 |
| Descrizione fisica | xix, 601 p. : ill. ; 26 cm |
| Disciplina | 006.332 |
| Altri autori (Persone) |
Baader, Franz
Calvanese, Diego McGuinness, Deborah L. Nardi, Daniele Patel-Schneider, Peter F. |
| Soggetto topico | Description logics - Handbooks, manuals, etc |
| ISBN | 9780521876254 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000146489707536 |
| Cambridge ; New York : Cambridge University Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic for Programming, Artificial Intelligence, and Reasoning [Risorsa elettronica] : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings / edited by Franz Baader, Andrei Voronkov
| Logic for Programming, Artificial Intelligence, and Reasoning [Risorsa elettronica] : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings / edited by Franz Baader, Andrei Voronkov |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
| Collana | Lecture notes in computer science, Lecture notes in artificial intelligence |
| ISBN | 9783540322757 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009238720403321 |
| Berlin ; Heidelberg : Springer, 2005 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Term rewriting and all that / Franz Baader and Tobias Nipkow
| Term rewriting and all that / Franz Baader and Tobias Nipkow |
| Autore | Baader, Franz |
| Pubbl/distr/stampa | Cambridge [etc.] : Cambridge university press, 1998 |
| Descrizione fisica | XII, 301 p. ; 26 cm |
| Altri autori (Persone) | Nipkow, Tobiasauthor |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002263189707536 |
Baader, Franz
|
||
| Cambridge [etc.] : Cambridge university press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Term Rewriting and Applications [Risorsa elettronica] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader
| Term Rewriting and Applications [Risorsa elettronica] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540734499 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009242970403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]
| The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2007 |
| Descrizione fisica | XIX, 601 p. ; 26 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68T30 - Knowledge representation [MSC 2020] 68T35 - Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
| ISBN | 978-05-218-7625-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0062411 |
| Cambridge, : Cambridge university, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]
| The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2007 |
| Descrizione fisica | XIX, 601 p. ; 26 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68T30 - Knowledge representation [MSC 2020] 68T35 - Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
| ISBN | 978-05-218-7625-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0062411 |
| Cambridge, : Cambridge university, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]
| The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2007 |
| Descrizione fisica | XIX, 601 p. ; 26 cm |
| Soggetto topico |
03B70 - Logic in computer science [MSC 2020]
68-XX - Computer science [MSC 2020] 68T30 - Knowledge representation [MSC 2020] 68T35 - Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence [MSC 2020] |
| ISBN | 978-05-218-7625-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00062411 |
| Cambridge, : Cambridge university, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||