Automated model building /

This is the first book on automated model building, a discipline of automated deduction that is of growing importance. Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to captu...

Full description

Bibliographic Details

Main Authors:	Caferra, Ricardo, 1945- (Author), Leitsch, Alexander, 1952- (Author), Peltier, Nicholas (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht ; London : Springer-Science+Business Media, 2004.
Series:	Applied logic series ; v. 31.
Subjects:	Automatic theorem proving. Automatic hypothesis formation. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book