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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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 | ||
|