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)
Fr. 53.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
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-Weiss-Abbildungen, Masse: 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"
0 Gebrauchte Artikel zu „Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren".
Kommentar verfassen