-
1Automation of Reasoning [electronic resource] : 2: Classical Papers on Computational Logic 1967–1970 / Automation of Reasoning [electronic resource] : 2: Classical Papers on Computational Logic 1967–1970 /by Siekmann, Jörg H. editor., Wrightson, Graham. editor., SpringerLink (Online service)
Published 1983Texto bibliotecaCOLPOS -
2Automation of Reasoning [electronic resource] : 2: Classical Papers on Computational Logic 1967–1970 / Automation of Reasoning [electronic resource] : 2: Classical Papers on Computational Logic 1967–1970 /by Siekmann, Jörg H. editor., Wrightson, Graham. editor., SpringerLink (Online service)
Published 1983Texto bibliotecaCOLPOS
![Automation of Reasoning [electronic resource] : 2: Classical Papers on Computational Logic 1967–1970 /](/search/themes/bootstrap3/images/libros.png)