Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren - Dissertationsschrift
Taschenbuch - zu den Produktdetails
48,00 €
inkl. MwSt. versandkostenfrei!
Produktdetails
Verlag | Utz Verlag |
Auflage | 2019 |
Seiten | 174 |
Format | 14,5 x 20,5 x 1,0 cm |
Gewicht | 225 g |
Reihe | Informatik 1 |
ISBN-10 | 383168376X |
ISBN-13 | 9783831683765 |
Bestell-Nr | 83168376A |
Produktbeschreibung
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
Mehr Angebote zum Thema