Cover Image

Automation of Reasoning : 2: Classical Papers on Computational Logic 1967-1970 /

Bibliographic Details
Main Author: Siekmann, Jörg H.
Corporate Author: SpringerLink (Online service)
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.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (XII, 637 pages 1 illustration)
ISBN:9783642819551 (electronic bk.)
3642819559 (electronic bk.)