User Rating: 0 / 5

Star InactiveStar InactiveStar InactiveStar InactiveStar Inactive
 

Graph-based proof procedures for horn clauses Progress in computer science and applied logic; vol. 10

Material TypeBookLanguageEnglish
TitleGraph-based proof procedures for horn clauses Progress in computer science and applied logic; vol. 10 Author(S)Stan Raatz
Publication DataBoston: Birkhauslr Publication Date1990
EditionNAPhysical Descriptionp
SubjectComputerSubject HeadingsLogic programming Horn clauses Logic symbolic and mathematical
ISBN  0-8176-3530-0 3-7643-3530-0Copies  0-8176-3530-0 3-7643-3530-0
Permanent Linksclick here