Tag Suche nach Horn clauses

Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren - Buchbeschreibung, Ausstattung und ISBN Ein für Hornklauselmengen lineares, allgemeines aussage...

Kurzprofil von Joachim F. Schreiber Als externe Referenz ist die Open-Library-ID OL350727A hinterlegt. Profildaten im Überblick Zuletzt mit Open Library abgeglichen am: 2008-09-01...

Kurzprofil von H. Utz Wissenshaft H. Utz Wissenshaft ist hier als Verlag erfasst und kann zur Einordnung von Buchausgaben herangezogen werden. Gerade für einen schnellen Überblick...