Constraints in Computational Logics: First International Conference, Ccl '94, Munich, Germany, September 7-9, 1994 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Publisher: Springer-Verlag
Published: August 1994
Language: eng
Format: Paperback
ISBN-13: 9780387584034
Subjects: Logic; Computer Logic; Mathematics; Computer programming; Congresses; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical; Computer Books: General; Science/Mathematics
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].