The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Publication Details:
Book: Automated Deduction - Cade-12, Lecture Notes in AI No. 814
Editors:Bundy, A.
Book#: 3-540-58156-1
Publisher:Springer-Verlag, Heidelberg
Volume:MISSING
Pages: MISSING

Edited Book #746

Title:Automated Deduction - Cade-12, Lecture Notes in AI No. 814
Authors:Bundy,A
Date: 1994
Presented:
Keywords:








[Search These Pages] [DAI Home Page] [Comment]