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


Publication Details:
Book: Proceedings of IJCAI-89
Editors:Sridharan, N.S.
Book#: 1-55860-094-9
Publisher:Morgan Kaufman, San Malteo,CA
Volume:1
Pages: 372-377

Paper in Conference Proceedings #376

Title:Abstract Theorem Proving
Authors:Giunchiglia,F; Walsh,T
Date: 1989
Presented:
Keywords:theorem proving, abstraction








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