Instantiation theory : on the foundations of automated deduction /

Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The volume...

Full description

Bibliographic Details

Main Author:	Williams, James G.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1991.
Series:	Lecture notes in computer science ; 518. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving. complétude. déduction automatique. complexité calcul. algorithme unification. homomorphisme. théorie algébrique. formalisme. instanciation. Théorèmes > Démonstration automatique. Deductie. Kunstmatige intelligentie. Electronic books.
Online Access:	Connect to the full text of this electronic book