Scan barcode
136 pages • missing pub info (editions)
ISBN/UID: 9783540543336
Format: Paperback
Language: English
Publisher: Springer
Publication date: 07 August 1991
Description
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 ...
Community Reviews
Content Warnings
136 pages • missing pub info (editions)
ISBN/UID: 9783540543336
Format: Paperback
Language: English
Publisher: Springer
Publication date: 07 August 1991
Description
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 ...
Community Reviews
Content Warnings