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.
Computational Logic : Symposium Proceedings Brussels, November 13-14, 1990 / John W. Lloyd (Ed.)
| Computational Logic : Symposium Proceedings Brussels, November 13-14, 1990 / John W. Lloyd (Ed.) |
| Autore | Lloyd, John W. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1990 |
| Descrizione fisica | P. |
| Disciplina | 510.78 |
| Collana | Esprit Basic Research Series |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 3-540-53437-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001109100403321 |
Lloyd, John W.
|
||
| Berlin [etc.] : Springer-Verlag, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational logic : symposium, proceedings Brussels, November 13-14, 1990 / J.W. Lloyd, ed
| Computational logic : symposium, proceedings Brussels, November 13-14, 1990 / J.W. Lloyd, ed |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 1990 |
| Disciplina | 511.3 |
| Soggetto non controllato |
logica matematica congressi 1990
logica simbolica congressi 1990 |
| ISBN | 3-540-53437-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000144110203316 |
| Berlin [etc.] : Springer, copyr. 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fondamenti di programmazione logica : I suoi rapporti con la logica e la matematica / di Lloyd John W.
| Fondamenti di programmazione logica : I suoi rapporti con la logica e la matematica / di Lloyd John W. |
| Autore | Lloyd, John W. |
| Pubbl/distr/stampa | Padova : Franco Muzzio, 1986 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001193640403321 |
|
Lloyd, John W.
|
||
| Padova : Franco Muzzio, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fondamenti di programmazione logica : i suoi rapporti con la logica e lamatematica / John W. Lloyd ; edizione italiana a cura di Mauro Boscarol
| Fondamenti di programmazione logica : i suoi rapporti con la logica e lamatematica / John W. Lloyd ; edizione italiana a cura di Mauro Boscarol |
| Autore | Lloyd, John W. |
| Pubbl/distr/stampa | Padova : Franco Muzzio, 1986 |
| Descrizione fisica | X, 155 p. : ill. ; 21 cm |
| Disciplina | 005.1 |
| Collana | Intelligenza artificiale e robotica |
| Soggetto (Persona) | Programmazione |
| ISBN | 88-7021-383-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000113760203316 |
|
Lloyd, John W.
|
||
| Padova : Franco Muzzio, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic for learning : learning comprehensible theories from structured data / J.W. Lloyd
| Logic for learning : learning comprehensible theories from structured data / J.W. Lloyd |
| Autore | Lloyd, John W. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, c2003 |
| Descrizione fisica | X, 256 p. ; 24 cm |
| Collana | Cognitive technologies |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-42027-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990004004450403321 |
|
Lloyd, John W.
|
||
| Berlin [etc.] : Springer, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||