Deduction Systems /

This graduate-level text offers a theoretical treatment of the fundamental concepts and methods of automated deduction. By presenting an account which covers resolution theorem-proving in order-sorted first-order logic it provides a self-contained account suitable for students coming to the subject...

Full description

Bibliographic Details

Main Author:	Socher-Ambrosius, Rolf
Corporate Author:	SpringerLink (Online service)
Other Authors:	Johann, Patricia
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1997.
Series:	Graduate texts in computer science.
Subjects:	Computer science. Information theory. Electronic books.
Online Access:	Connect to the full text of this electronic book