
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