Logik-Programmierung: Operationelle Semantik und Beweistheorie von J. Andrews (Englisch
74,64 €
He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which ???. depth-first???. search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete.
Jetzt bei Ebay:
![Produktbild - Logic, Semantics, Metamathematics [English and Polish Edition]](https://i.ebayimg.com/thumbs/images/g/EAoAAeSwpxZoSgIF/s-l140.jpg)
