335 8 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
646 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
516 57 2MB 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
Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic)
323 71 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
An text for introducing both formal and philosophical logic.
121 11 8MB Read more