Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by WorkBot
December 11, 2009 | History

Constraints in Computational Logics: First International Conference, Ccl '94, Munich, Germany, September 7-9, 1994 1 edition

Constraints in Computational Logics: First International Conference, C ...
Jean-Pierre Jounnaud

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book


Alack! There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Constraints in Computational Logics: First International Conference, Ccl '94, Munich, Germany, September 7-9, 1994
Proceedings (Lecture Notes in Computer Science)

Published August 1994 by Springer-Verlag .
Written in English.

First Sentence

The paramodulation inference system is an extension of the resolution inference system to deal with theorem proving in first order logic with equality [12].

The Physical Object

Format
Paperback
Dimensions
9.5 x 6.5 x 1 inches
Weight
1.1 pounds

ID Numbers

Open Library
OL9823001M
ISBN 10
038758403X
ISBN 13
9780387584034

History Created December 11, 2009 · 1 revision Download catalog record: RDF / JSON

December 11, 2009 Created by WorkBot add works page