Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
Joachim F. Schreiber
Broschiertes Buch

Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren

Dissertationsschrift

Versandkostenfrei!
Versandfertig in 6-10 Tagen
48,00 €
inkl. MwSt.
PAYBACK Punkte
0 °P sammeln!
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren