1: Teoria e modelli / Massimo Buscema & Semeion group |
Autore | BUSCEMA, Massimo |
Pubbl/distr/stampa | [Milano] : F. Angeli, [1999] |
Descrizione fisica | 560 p. : ill. ; 22 cm. |
Disciplina | 006.3(Intelligenza artificiale) |
Soggetto topico | Intelligenza artificiale |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990005415440203316 |
BUSCEMA, Massimo
![]() |
||
[Milano] : F. Angeli, [1999] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2.: Applicazioni / Massimo Buscema & Semeion group |
Autore | BUSCEMA, Massimo |
Pubbl/distr/stampa | Milano : F. Angeli, 1999 |
Descrizione fisica | 317 p. ; 22 cm. |
Disciplina | 006.3(Intelligenza artificiale) |
Soggetto topico | Intelligenza artificiale |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990005415450203316 |
BUSCEMA, Massimo
![]() |
||
Milano : F. Angeli, 1999 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
50 years of artificial intelligence : Essays dedicated to the 50th anniversary of artificial intelligence / Max Lungarella...[et al] (Eds.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
Descrizione fisica | X, 398 p. : ill. ; 24 cm |
Disciplina | 006.3 |
Collana |
Lecture notes in computer science
Lecture notes in artificial intelligence, Festschrift |
Soggetto topico | Intelligenza artificiale |
ISBN | 978-3-540-77295-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003143910203316 |
Berlin [etc.] : Springer, copyr. 2007 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
8th international conference on automated deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann |
Autore | International conference on automated deduction : <8.; : Oxford> |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 1986 |
Descrizione fisica | IX,708 p. : ill. ; 24 cm |
Disciplina | 006.3 |
Collana | Lecture notes in computer science |
Soggetto topico | Intelligenza artificiale -- Atti di congressi -- Oxford -- 1986 |
ISBN | 3540167803 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990005795170203316 |
International conference on automated deduction : <8.; : Oxford>
![]() |
||
Berlin [etc.] : Springer, copyr. 1986 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
A computational model of metaphor interpretation / James H. Martin |
Autore | Martin, James H. |
Pubbl/distr/stampa | New York : Academic Press, c 1990 |
Descrizione fisica | XXIV, 230 p. ; 23 cm |
Disciplina | 006.3 |
Collana | Perspectives in artificial intelligence |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990006780500403321 |
Martin, James H.
![]() |
||
New York : Academic Press, c 1990 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
A dynamical recurrent networks / edited by John F. Kolen [and] Stefan C. Kremer |
Pubbl/distr/stampa | New York : IEEE Press, ©2001 |
Descrizione fisica | XV, 421 p. : ill. ; 25 cm |
Disciplina | 006.3 |
Soggetto non controllato | Computer science |
ISBN | 0-7803-5369-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008789200403321 |
New York : IEEE Press, ©2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
A future for knowledge acquisition : 8. European knowledge acquisition workshop , EKAW '94 : Hoegaarden, Belgium; September 26-29, 1994 : proceedings / Luc Steel, Guus Schreiber, Walter Van de Velde (eds.) |
Autore | European knowledge acquisition workshop : <8. : ; 1994 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, c1994 |
Descrizione fisica | XII, 413 p. ; 24 cm |
Disciplina |
006.3
006.33 |
Collana | Lecture notes in computer science, . Lecture notes in artificial intelligence |
Soggetto topico |
Sistema esperto -- Congressi -- 1994
Intelligenza artificiale -- Congressi -- 1994 |
ISBN | 3540584870 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10008451 |
European knowledge acquisition workshop : <8. : ; 1994
![]() |
||
Berlin [etc.] : Springer, c1994 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
A primer on Pascal / R. Conway, D. Gries, E. C. Zimmerman |
Autore | Conway, R. |
Edizione | [2.ed] |
Pubbl/distr/stampa | Boston : Little Brown, s.d |
Descrizione fisica | xi, 427 p. ; 24 cm |
Disciplina | 006.3 |
Soggetto non controllato |
Metodi computazionali
Teoria generale della programmazione dei calcolatori |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990002574270403321 |
Conway, R.
![]() |
||
Boston : Little Brown, s.d | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
A probabilistic theory of pattern recognition / Luc Devroye, Laszlo Gyorfi, Gabor Lugosi |
Autore | Devroye, Luc |
Pubbl/distr/stampa | New York [etc.] : Springer, c1996 |
Descrizione fisica | XV, 636 p. ; 25 cm. |
Disciplina | 006.3 |
Altri autori (Persone) |
Gyorfi, Laszlo
Lugosi, Gabor |
Collana | Applications of mathematics |
Soggetto topico |
Riconoscimento di forme
Probabilità |
ISBN | 0-387-94618-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000015371 |
Devroye, Luc
![]() |
||
New York [etc.] : Springer, c1996 | ||
![]() | ||
Lo trovi qui: Univ. della Basilicata | ||
|
A resolution principle for a logic with restricted quantifiers / Hans-Jürgen Bürckert |
Autore | BÜRCKERT, Hans-Jürgen |
Pubbl/distr/stampa | Berlin : Springer-Verlag, c1991 |
Descrizione fisica | X, 116 p. : ill. ; 24 cm |
Disciplina | 006.3 |
Collana | Lectures notes in artificial intelligence |
Soggetto topico |
Intelligenza artificiale
Logica matematica |
ISBN | 3-540-55034-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000482640203316 |
BÜRCKERT, Hans-Jürgen
![]() |
||
Berlin : Springer-Verlag, c1991 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|