Constraints in Computational Logics
Subtitle: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings (Lecture Notes in Computer Science)
Contributors: Jean-Pierre Jouannaud (Editor); Jean-Pierre Jounnaud (Other Contributor)
Publisher: Springer
Published: September 1994
Language: eng
Format: Paperback
Number of pages: 367
ISBN-13: 9783540584032
Subjects: Computer architecture & logic design; Mathematical logic; Mathematical theory of computation; Logic; Logic Design; Programming - General; Computers - Languages / Programming
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].