9th International Conference on Automated Deduction (Lecture Notes in Computer Science)
Contributors: Ewing Lusk (Editor); Ross Overbeek (Editor)
Publisher: Springer
Published: October 2, 2007
Language: eng
Format: Paperback
Number of pages: 792
ISBN-13: 9783540193432
Subjects: Logic; Mathematics
First sentence: A method using the conditional rewriting paradigm is discussed for automatically proving theorems in first-order predicate calculus with equality.