Automation of Reasoning
Subtitle: 2: Classical Papers on Computational Logic 1967-1970
By: edited by Jörg H. Siekmann, Graham Wrightson
Contributors: Wrightson, Graham
Series: Symbolic Computation, Artificial Intelligence; Symbolic computation
Publisher: Springer Berlin Heidelberg
Published: 1983
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 637
ISBN-13: 9783642819551