400 12 472KB
English Pages 352 [260] Year 1996
Report DMCA / Copyright
DOWNLOAD GZ FILE
This is one of the few texts that combines three essential theses in the study of logic programming: the logic that give
395 87 1MB Read more
647 50 1MB Read more
481 31 2MB Read more
Research into Natural Language Processing - the use of computers to process language - has developed over the last coupl
517 57 2MB Read more
Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any back
115 98 1MB Read more
This text is appropriate for a senior or first-year graduate course on logic programming. It concentrates on the formal
410 11 4MB Read more
545 28 2MB Read more
Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic)
325 71 2MB Read more
This book teaches the techniques of Logic Programming through the Prolog language. The name stands for Programming in Lo
657 139 922KB Read more
Version Aug 2013 of An Exposition of Symbolic Logic is a lightly revised version of the August 2012 version of An Introd
197 18 4MB Read more