Automation of Reasoning 1
Subtitle: Classical Papers on Computational Logic, 1957-1966
Contributors: Jorg H. Siekmann (Editor); Graham Wrightson (Editor)
Publisher: Springer
Published: March 1983
Language: eng
Number of pages: 525
ISBN-13: 9780387120430