211 70 2MB
English Pages 297 [299] Year 1989
Report DMCA / Copyright
DOWNLOAD DJVU FILE
646 50 1MB Read more
Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear pr
555 9 472KB Read more
481 31 2MB Read more
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
This text is appropriate for a senior or first-year graduate course on logic programming. It concentrates on the formal
408 11 4MB Read more
544 28 2MB Read more
Version Aug 2013 of An Exposition of Symbolic Logic is a lightly revised version of the August 2012 version of An Introd
196 18 4MB 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
Research into Natural Language Processing - the use of computers to process language - has developed over the last coupl
516 57 2MB Read more
An text for introducing both formal and philosophical logic.
121 11 8MB Read more