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.
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 | ||
| ||
Programmazione con strutture dati in C / D. Calvanese ... [et al.]
| Programmazione con strutture dati in C / D. Calvanese ... [et al.] |
| Autore | Calvanese, Diego |
| Pubbl/distr/stampa | Bologna : Esculapio, 2001 |
| Descrizione fisica | XIII, 338 p. : ill. ; 24 cm |
| Disciplina | 055.133 |
| Soggetto non controllato | Linguaggi di programmazione |
| ISBN | 978-88-86524-52-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009856480403321 |
Calvanese, Diego
|
||
| Bologna : Esculapio, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web Reasoning and Rule Systems [Risorsa elettronica] : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Diego Calvanese, Georg Lausen
| Web Reasoning and Rule Systems [Risorsa elettronica] : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Diego Calvanese, Georg Lausen |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540887379 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009257960403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||