Automation of Reasoning : 2: Classical Papers on Computational Logic 1967-1970 / edited by Jörg H. Siekmann, Graham Wrightson.

Saved in:

Bibliographic Details
Online Access:	Full Text (via Springer)
Main Author:	Siekmann, Jorg H.
Other Authors:	Wrightson, Graham
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1983.
Series:	Symbolic computation. Artificial intelligence.
Subjects:	Computer science. Artificial intelligence. Logic, Symbolic and mathematical.

Internet

Full Text (via Springer)

Holdings details from Online
Call Number:	Q334-342
Q334-342	Available