Open Library logo
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 with:


Buy this book

Amazon $74.95 (new)
Better World Books

There's no description for this book yet. Can you add one?
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

Download catalog record: RDF / JSON
December 11, 2009 Created by WorkBot add works page