| Vai direttamente ai contenuti della pagina |

Torna alle ricerche nel catalogo
OPAC - Catalogo Unico Pavese
Le ricerche
UtilitÓ

Risultati ricerca

 

Richiedi in prestito con OpenWeb

2: Deduction methodologies ; volume co-ordinator J. Siekmann. - Oxford : Clarendon press, 1994. - XIII, 511 p. ; 25 cm.
ISBN 0198537468
Fa parte di: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C. J. Hogger and J. A. Robinson
Altri autori: Gabbay, Dov M. | Siekmann, Jorg

  Biblioteca Codice Collocazione Inventario Note Prestito DisponibilitÓ    
  Ateneo. Studi umanistici - Boezio - Filosofia e Psicologia PAV0U2 FIL.TEOR. F.S.E. III 803.2. FIL7187 Ristampa 1966 Ammesso Materiale in biblioteca    

Tipo: 102 - Monografia moderna | Lingua: ENG | Paese: GB | Data di pubblicazione o produzione: 1994 | Gestione database: EC-PEC | Codice: PUV0285672 | MFN: 0881569

 

 

Tempo di elaborazione: inferiore a 1 secondo
OPAC - Catalogo Unico Pavese - Ultimo aggiornamento: 20-07-2018 05:14:13 - Schede in OPAC:  1843847
EasyWeb Five© 5.7 - 1994-2018 è un prodotto Nexus IT

Valid XHTML 1.0 Strict | Valid CSS!| Validazione WAI-AAA WCAG 1.0