From Logic to Logic Programming
BücherAngebote / Angebote:
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn-clause logics, together with an analysis of the semantic aspects of the method.
Folgt in ca. 15 Arbeitstagen