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 theorem proving : a logical basis / Donald W. Loveland
| Automated theorem proving : a logical basis / Donald W. Loveland |
| Autore | Loveland, Donald W. |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1978 |
| Descrizione fisica | xii, 405 p. : ill. ; 23 cm |
| Collana | Fundamental studies in computer science |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 0-7204-0499-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000996400403321 |
Loveland, Donald W.
|
||
| Amsterdam [etc.] : North-Holland, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automatic Interpretation and Classification of Images : A Nato Summer School, Pisa-Tirrenia, Italy, August 26th to September 6th, 1968 / Edited by A. Grasselli
| Automatic Interpretation and Classification of Images : A Nato Summer School, Pisa-Tirrenia, Italy, August 26th to September 6th, 1968 / Edited by A. Grasselli |
| Autore | Grasselli, A. |
| Pubbl/distr/stampa | New York : Academic Press, 1969 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001001270403321 |
|
Grasselli, A.
|
||
| New York : Academic Press, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automation of Reasoning / Edited by Jorg Siekmann and Graham Wrightson
| Automation of Reasoning / Edited by Jorg Siekmann and Graham Wrightson |
| Autore | Siekmann, Jörg |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1983 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 3-540-12043-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001061420403321 |
|
Siekmann, Jörg
|
||
| Berlin [etc.] : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automation of Reasoning / Edited by Jorg Siekmann and Graham Wrightson
| Automation of Reasoning / Edited by Jorg Siekmann and Graham Wrightson |
| Autore | Siekmann, Jörg |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1983 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 3-540-12044-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001061430403321 |
|
Siekmann, Jörg
|
||
| Berlin [etc.], : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automation Theory and Learning Systems / Edited by D.J. Stewart ; from contributions selected by Stafford Beer, F.H. George and the late Richard Goodman
| Automation Theory and Learning Systems / Edited by D.J. Stewart ; from contributions selected by Stafford Beer, F.H. George and the late Richard Goodman |
| Autore | Stewart, D.J. |
| Pubbl/distr/stampa | London ; New York : Academic Press, 1967 |
| Descrizione fisica | xi, 215 p. : ill. ; 24 cm |
| Disciplina | 510.78 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001065860403321 |
|
Stewart, D.J.
|
||
| London ; New York : Academic Press, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Biology and Computation : A Physicist's Choice / Edited by H. Gutfreund, G. Toulouse
| Biology and Computation : A Physicist's Choice / Edited by H. Gutfreund, G. Toulouse |
| Autore | Gutfreund, H. |
| Pubbl/distr/stampa | Singapore [etc.] : World Scientific, 1994 |
| Descrizione fisica | P. |
| Disciplina | 510.78 |
| Collana | Advanced series in neuroscience |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001119970403321 |
|
Gutfreund, H.
|
||
| Singapore [etc.] : World Scientific, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bionica
| Bionica |
| Pubbl/distr/stampa | Mosca : Edizioni Scientifiche, 1965 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000950690403321 |
| Mosca : Edizioni Scientifiche, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Brain Processes, Theories, and Models : an International Conference in honor of W.S. McCulloch 25 years after his death / edited by Roberto Moreno-Diaz and Jose' Mira-Mira
| Brain Processes, Theories, and Models : an International Conference in honor of W.S. McCulloch 25 years after his death / edited by Roberto Moreno-Diaz and Jose' Mira-Mira |
| Autore | Moreno-Diaz, Roberto |
| Pubbl/distr/stampa | Cambridge : The MIT Press, 1996 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 0-262-63170-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001122230403321 |
|
Moreno-Diaz, Roberto
|
||
| Cambridge : The MIT Press, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Brain Theory : A Reprint Volume / edited by G.L. Shaw & G. Palm
| Brain Theory : A Reprint Volume / edited by G.L. Shaw & G. Palm |
| Autore | Shaw, Gordon L. |
| Pubbl/distr/stampa | Singapore [etc.] : World Scientific, 1988 |
| Disciplina | 510.78 |
| Collana | Advanced series in neuroscience |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 99-715-0484-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001096280403321 |
|
Shaw, Gordon L.
|
||
| Singapore [etc.] : World Scientific, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Brain-computer interfaces : principles and practice / edited by Jonathan R. Wolpaw, Elizabeth Winter Wolpaw
| Brain-computer interfaces : principles and practice / edited by Jonathan R. Wolpaw, Elizabeth Winter Wolpaw |
| Pubbl/distr/stampa | Oxford ; New York, : Oxford University Press, 2012 |
| Descrizione fisica | xviii, 400 p. : ill. ; 29 cm |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 978-0-19-538885-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009608190403321 |
| Oxford ; New York, : Oxford University Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
