Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Logik-Programmierung: Operationelle Semantik und Beweistheorie von J. Andrews (Englisch

Ø 0.0
0 Bewertungen
76,08 €

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: