RecordNumber
8459
Author
Van Le, Tu
Title
Techniques of PROLOG Programming with implementation of logical negation and quantified goals
Author Statement
T. Van Le
Publication
John Wiley
Publication Year
1993
Collation
xviii, 601P., illus
Notes
0471599700 , Includes bibliographical references
Subject
Negation (Logic) , Prolog (Computer program language)
LC Class
QA
LC Number
76.73
LC CutterNumber
.P76V36
LC Date
1993