You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
136 pages • missing pub info (view editions)
ISBN/UID: 9783540543336
Format: Paperback
Language: English
Publisher: Springer
Edition Pub 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 (view editions)
ISBN/UID: 9783540543336
Format: Paperback
Language: English
Publisher: Springer
Edition Pub 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