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.
Artificial Intelligence : an introductory course / A. Bundy ... [et al.]
| Artificial Intelligence : an introductory course / A. Bundy ... [et al.] |
| Autore | Bundy, Alan |
| Pubbl/distr/stampa | Edinburgh : Cambridge University Press, 1978 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 0-85224-340-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000969610403321 |
Bundy, Alan
|
||
| Edinburgh : Cambridge University Press, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated deduction : CADE-12 : 12 International conference on automated deduction : Nancy,France, June 26-July 1, 1994 : proceedings / Alan Bundy (ed.)
| Automated deduction : CADE-12 : 12 International conference on automated deduction : Nancy,France, June 26-July 1, 1994 : proceedings / Alan Bundy (ed.) |
| Autore | International conference on automated deduction : 12. : 1994 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
| Descrizione fisica | XVI, 848 p. : ill. ; 24 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - nancy - 1994
intelligenza artificiale - congressi - 1994 logica matematica - congressi - 1994 |
| ISBN | 3-540-58156-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000200440203316 |
|
International conference on automated deduction : 12. : 1994
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated deduction - CADE-12 : 12. International conference on automated deduction : Nancy, France, June 26 - July 1, 1994 : proceedings / Alan Bundy (ed.)
| Automated deduction - CADE-12 : 12. International conference on automated deduction : Nancy, France, June 26 - July 1, 1994 : proceedings / Alan Bundy (ed.) |
| Autore | International conference on automated deduction : <12. : ; 1994 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
| Descrizione fisica | XVI, 848 p. ; 24 cm |
| Disciplina |
006.3
006.33 |
| Collana | Lecture notes in computer science, . Lecture notes in artificial intelligence |
| Soggetto topico |
Logica simbolica - Congressi - 1994
Logica matematica - Congressi - 1994 |
| ISBN |
0387581561
3540581561 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10007185 |
|
International conference on automated deduction : <12. : ; 1994
|
||
| Berlin [etc.], : Springer, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Catalogue of Artificial Intelligence Tools / Edited by Alan Bundy
| Catalogue of Artificial Intelligence Tools / Edited by Alan Bundy |
| Autore | Bundy, Alan |
| Edizione | [2nd rev. ed.] |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1986 |
| Disciplina | 510.78 |
| Collana | Symbolic computation, Artificial intelligence |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 3-540-16893-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001099570403321 |
|
Bundy, Alan
|
||
| Berlin [etc.] : Springer-Verlag, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
L' automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy
| L' automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy |
| Autore | Bundy, Alan |
| Edizione | [ed. italiana a cura di Mauro Boscarol] |
| Pubbl/distr/stampa | Padova : Franco Muzzio, 1986 |
| Descrizione fisica | XX, 425 p. : ill. ; 21 cm |
| Disciplina | 005131 |
| Collana | intelligenza artificiale e robotica |
| Soggetto non controllato | logica matematica |
| ISBN | 88-7021-292-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000197160203316 |
|
Bundy, Alan
|
||
| Padova : Franco Muzzio, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
L'automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy ; edizione italiana a cura di Mauro Boscarol
| L'automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy ; edizione italiana a cura di Mauro Boscarol |
| Autore | Bundy, Alan |
| Pubbl/distr/stampa | Padova : F. Muzzio, 1986 |
| Descrizione fisica | XX, 425 p. ; 21 cm |
| Disciplina | 510 |
| Collana | IAR |
| Soggetto non controllato | Intelligenza artificiale |
| ISBN | 88-7021-292-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000022712 |
|
Bundy, Alan
|
||
| Padova : F. Muzzio, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
L'automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy ; edizione italiana a cura di Mauro Boscarol
| L'automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy ; edizione italiana a cura di Mauro Boscarol |
| Autore | Bundy, Alan |
| Pubbl/distr/stampa | Padova : Franco Muzzio editore, 1986 |
| Descrizione fisica | XX, 425 p. ; 21 cm |
| Disciplina | 006.3 |
| Collana | IAR Intelligenza artificiale e robotica |
| Soggetto non controllato | Intelligenza artificiale |
| ISBN | 88-7021-292-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009911360403321 |
|
Bundy, Alan
|
||
| Padova : Franco Muzzio editore, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Computer Modelling of Mathematical Reasoning / by Bundy A.
| The Computer Modelling of Mathematical Reasoning / by Bundy A. |
| Autore | Bundy, Alan |
| Pubbl/distr/stampa | London [etc.] : Academic Press, 1983 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001218300403321 |
|
Bundy, Alan
|
||
| London [etc.] : Academic Press, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Computer Modelling of Mathematical Reasoning / Alan Bundy
| The Computer Modelling of Mathematical Reasoning / Alan Bundy |
| Autore | Bundy, Alan |
| Pubbl/distr/stampa | London [etc.] : Academic Press, 1983 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 0-12-141252-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000969600403321 |
|
Bundy, Alan
|
||
| London [etc.] : Academic Press, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||