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


Publication Details:
Book: 11th International Conference on Automated Deduction
Editors:Kapur, D.
Book#: 3-540-55602-8
Publisher:Springer-Verlag, Berlin
Volume:MISSING
Pages: 295-309

Paper in Conference Proceedings #118

Title:Difference Matching
Authors:Basin,D; Walsh,T
Date: 1992
Presented:
Keywords:matching, theorem proving








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