Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
Dissertationsschrift
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
49.40 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren “
Klappentext zu „Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren “
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
Bibliographische Angaben
- Autor: Joachim F. Schreiber
- 2019, 2., unveränderte Auflage, 174 Seiten, 62 Schwarz-Weiß-Abbildungen, Maße: 14,5 x 20,5 cm, Kartoniert (TB), Deutsch
- Verlag: Utz Verlag
- ISBN-10: 383168376X
- ISBN-13: 9783831683765
Kommentar zu "Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren"
Schreiben Sie einen Kommentar zu "Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren".
Kommentar verfassen