Computational Logic in Multi-Agent Systems : 4th International workshop, CLIMA 4. : Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers / Jürgen Dix, João Leite(Eds.) |
Autore | International workshop, CLIMA 4 : <4. ; : 2004 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2005 |
Descrizione fisica | XIII, 249 p. : ill. ; 24 cm. |
Disciplina | 006.3 |
Collana |
Lecture notes in artificial intelligence, Hot Topics
Lecture notes in computer science |
Soggetto topico |
Intelligenza artificiale - Congressi - Fort Lauderdale - 2004
Informatica - Congressi - Fort Lauderdale - 2004 |
ISBN | 3-540-24010-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002970770203316 |
International workshop, CLIMA 4 : <4. ; : 2004
![]() |
||
Berlin [etc.] : Springer, copyr. 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Nonmonotinic and inductive logic : 1. International workshop : Karlsruhe, Germany, December 4-7 1990 : proceedings / J. Dix, K.P. Jantke, P.H. Schmitt (eds.) |
Autore | International workshop <1. ; 1990 ; Karlruhe> |
Pubbl/distr/stampa | Berlin : Springer, c1991 |
Descrizione fisica | X, 243 p ; 24 cm |
Disciplina | 006.3 |
Collana | Lectures notes in computers science, Lectures notes in artificial intelligence |
Soggetto topico |
Programmazione -- Logica -- Congressi -- 1990
Intelligenza artifciale -- Congressi -- 1990 |
ISBN | 3-540-54564-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000727500203316 |
International workshop <1. ; 1990 ; Karlruhe>
![]() |
||
Berlin : Springer, c1991 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|