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.
Advanced topics in artificial intelligence : international summer scool, Prague, July 6-17, 1992 / V. Marik (ed.)
| Advanced topics in artificial intelligence : international summer scool, Prague, July 6-17, 1992 / V. Marik (ed.) |
| Descrizione fisica | IX, 484 p. : ill. ; 25 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - praga- 1992
intelligenza artificiale - congressi - 1992 |
| ISBN | 3-540-55681-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201220203316 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
|
Algorithmic learning theory : 3rd Workshop ALT'92 : Tokyo, Japan, October 20-22, 1992 : proceedings / S. Doshita (ed.)
| Algorithmic learning theory : 3rd Workshop ALT'92 : Tokyo, Japan, October 20-22, 1992 : proceedings / S. Doshita (ed.) |
| Autore | Workshop ALT'92 : 3. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | X, 259 p. : ill. ; 24 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
algoritmi - congressi - 1992
congressi - tokio - 1992 intelligenza artificiale - congressi - 1992 sistemi esperti - congressi - 1992 |
| ISBN | 3-540-57369-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000200750203316 |
Workshop ALT'92 : 3. : 1992
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Analogic and inductive inference : International workshop AII'92 : Dagstuhl Castle, Germany, October 5-9, 1992 : proceedings / K. P. Jantke (ed.)
| Analogic and inductive inference : International workshop AII'92 : Dagstuhl Castle, Germany, October 5-9, 1992 : proceedings / K. P. Jantke (ed.) |
| Autore | International workshop AII'92 : 1992 |
| Descrizione fisica | VIII, 319 p. : ill. ; 25 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - dagstuhl - 1992
intelligenza artificiale - congressi - 1992 |
| ISBN | 3-540-56004-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202610203316 |
|
International workshop AII'92 : 1992
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial intelligence and symbolic mathematical computing : Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet (ed.)
| Artificial intelligence and symbolic mathematical computing : Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | 305 p. : ill. ; 24 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
algoritmi - congressi - 1992
congressi - karlsruhe - 1992 elaborazione elettronica - modelli matematici - congressi - 1992 intelligenza artificiale - congressi - 1992 |
| ISBN | 3-540-57322-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000203940203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated deduction : CADE-11 : 11th International conference on automated deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.)
| Automated deduction : CADE-11 : 11th International conference on automated deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.) |
| Autore | International conference on automated deduction : 11. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | XV, 793 p. : ill. ; 25 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - saratoga springs - 1992
intelligenza artificiale - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-55602-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202070203316 |
|
International conference on automated deduction : 11. : 1992
|
||
| Berlin [etc.], : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual structures : theory and implementation : 7th annual workshop, Las Cruces, NM, USA,July 8-10, 1992 : proceedings / Heather D. Pfeiffer (ed.)
| Conceptual structures : theory and implementation : 7th annual workshop, Las Cruces, NM, USA,July 8-10, 1992 : proceedings / Heather D. Pfeiffer (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | IX, 327 p. : ill. ; 24 cm |
| Disciplina | 00633 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - las cruces - 1992
grafi - congressi - 1992 intelligenza artificiale - congressi - 1992 sistemi esperti - congressi - 1992 |
| ISBN | 3-540-57454-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000200740203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Current developments in knowledge acquisition : EKAW'92 : 6th European knowledge acquisition workshop : Heidelberg, Germany, May 18-22, 1992 : proceedings / Th. Wetter ... [et al.] (eds.)
| Current developments in knowledge acquisition : EKAW'92 : 6th European knowledge acquisition workshop : Heidelberg, Germany, May 18-22, 1992 : proceedings / Th. Wetter ... [et al.] (eds.) |
| Autore | European knowledge acquisition workshop : 6. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | XIII, 444 p. : ill. ; 25 cm |
| Disciplina | 00633 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - heidelberg - 1992
congressi - kaiserslautern - 1992 intelligenza artificiale - congressi - 1992 sistemi esperti - congressi - 1992 |
| ISBN | 3-540-55546-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201490203316 |
|
European knowledge acquisition workshop : 6. : 1992
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent tutoring systems : second International conference, ITS'92 : Montréal, Canada, June 10-12, 1992 : proceedings / C. Frasson ... [et al.] (eds.)
| Intelligent tutoring systems : second International conference, ITS'92 : Montréal, Canada, June 10-12, 1992 : proceedings / C. Frasson ... [et al.] (eds.) |
| Autore | International conference ITS'92 : 2. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | XIV, 686 p. : ill. ; 25 cm |
| Disciplina | 371334 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - montreal - 1992
intelligenza artificiale - congressi - 1992 istruzione assistita da elaboratore - congressi - 1992 |
| ISBN | 3-540-55606-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000203410203316 |
|
International conference ITS'92 : 2. : 1992
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
IPMU'92 : advanced methods in artificial intelligence : 4th International conference on information processing andmanagement of uncertainty in knowledge-based systems : Palma de Mallorca, Spain, July, 1992 : proceedings / B. Bouchon-Meunier (ed.)
| IPMU'92 : advanced methods in artificial intelligence : 4th International conference on information processing andmanagement of uncertainty in knowledge-based systems : Palma de Mallorca, Spain, July, 1992 : proceedings / B. Bouchon-Meunier (ed.) |
| Autore | International conference on information processing and management of uncertainty in knowledge-based systems : 4. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | 367 p. : ill. ; 24 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - palma di maiorca - 1992
intelligenza artificiale - congressi - 1992 |
| ISBN | 3-540-56735-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204060203316 |
|
International conference on information processing and management of uncertainty in knowledge-based systems : 4. : 1992
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic programming and automated reasoning : International conference LPAR'92, St. Petersburg, Russia, July 15-20,1992 : proceedings / A. Voronkov (ed.)
| Logic programming and automated reasoning : International conference LPAR'92, St. Petersburg, Russia, July 15-20,1992 : proceedings / A. Voronkov (ed.) |
| Autore | International conference LPAR'92 : 1992 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | XIV, 509 p. : ill. ; 25 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - leningrado - 1992
elaboratori elettronici - programmazione - congressi - 1992 intelligenza artificiale - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-55727-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000200970203316 |
|
International conference LPAR'92 : 1992
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
