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.
Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX'99 : Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / Neil V. Murray (ed.)
| Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX'99 : Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / Neil V. Murray (ed.) |
| Autore | International conference TABLEAUX '99 : 1999 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | X, 323 p. : ill. ; 24 cm |
| Disciplina | 00633 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - saratoga - 1999
intelligenza artificiale - congressi - 1999 sistemi esperti - congressi - 1999 |
| ISBN | 3-540-66086-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000199910203316 |
International conference TABLEAUX '99 : 1999
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Case-based reasoning research and development : third International conference on case-based reasoning, ICCBR-99 : Seeon Monastery, Germany, July 27-30,1999 : proceedings / Klaus-Dieter Althoff ...[et al.] (eds.)
| Case-based reasoning research and development : third International conference on case-based reasoning, ICCBR-99 : Seeon Monastery, Germany, July 27-30,1999 : proceedings / Klaus-Dieter Althoff ...[et al.] (eds.) |
| Autore | International conference on case-based reasoning. ICCBR-99 : 3rd. : Seeon Monastery |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | XII, 598 p. : ill. ; 23 cm |
| Disciplina | 006.3 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
sistemi esperti - congressi - 1999
Congressi - Seeon - 1999 Intelligenza artificiale - Congressi - 1999 |
| ISBN | 3-540-66237-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000200550203316 |
|
International conference on case-based reasoning. ICCBR-99 : 3rd. : Seeon Monastery
|
||
| Berlino : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Database and expert systems applications : 10th International conference, DEXA '99 : Florence, Italy, August 30 - September 3, 1999 : proceedings / Trevor Bench-Capon ...[et al.] (eds.)
| Database and expert systems applications : 10th International conference, DEXA '99 : Florence, Italy, August 30 - September 3, 1999 : proceedings / Trevor Bench-Capon ...[et al.] (eds.) |
| Autore | International conference DEXA '99 : 10th. : 1999 |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | XVIII, 1105 p. : ill. ; 22 cm |
| Disciplina | 00574 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
archivi di dati - congressi - 1999
congressi - firenze - 1999 sistemi esperti - congressi - 1999 |
| ISBN | 3-540-66448-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000209230203316 |
|
International conference DEXA '99 : 10th. : 1999
|
||
| Berlin : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge acquisition, modeling and management : 11th European workshop, EKAW' 99 :Dagstuhl Castle, Germany, May 26-29, 1999 : proceedings / Dieter Fensel ... [et al.] (eds.)
| Knowledge acquisition, modeling and management : 11th European workshop, EKAW' 99 :Dagstuhl Castle, Germany, May 26-29, 1999 : proceedings / Dieter Fensel ... [et al.] (eds.) |
| Autore | European workshop EKAW' 99 : 11. : 1999 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | XI, 404 p. : ill. ; 24 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - dagstuhl castle - (germany) - 1999
sistemi esperti - congressi - 1999 |
| ISBN | 3-540-66044-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000199960203316 |
|
European workshop EKAW' 99 : 11. : 1999
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multiple approaches to intelligentsystems : 12th International conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE-99 : Cairo,Egypt, May 31 - June 3, 1999 : proceedings / Ibrahim Imam ... [et al.] (eds.)
| Multiple approaches to intelligentsystems : 12th International conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE-99 : Cairo,Egypt, May 31 - June 3, 1999 : proceedings / Ibrahim Imam ... [et al.] (eds.) |
| Autore | International conference on industrial and engineering applications of artificial intelligence and expert systems. IEA/AIE-99 : 12. : 1999 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | XIX , 899 p. : ill. ; 24 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - cairo -1999
intelligenza artificiale - congressi - 1999 sistemi esperti - congressi - 1999 |
| ISBN | 3-540-66076-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000199930203316 |
|
International conference on industrial and engineering applications of artificial intelligence and expert systems. IEA/AIE-99 : 12. : 1999
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||