Automation of Reasoning / edited by Jörg Siekmann and Graham Wrightson

• Record Nr.: UNINA990000495700403321
• Pubbl/distr/stampa: Berlin; Heidelberg ; New York : Springer, 1983
• ISBN: 3-540-12044-0
• Descrizione fisica: 2 v. : ill. ; 25 cm
• Collana: Symbolic computation
• Disciplina: 005.131
• Locazione: DINEL; FLFBC
• Collocazione: 10 P.T. 158; 10 P.T. 159; P.1 IA 52 (2)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Vol. 1.: Classical papers on computational logic 1957-1966 Vol. 2.: Classical papers on computational logic 1967-1970