Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
CHF 50.35
Auf Lager
SKU
QD6T2OETG1M
1 Verfügbar 
Geliefert zwischen Fr., 27.02.2026 und Mo., 02.03.2026
Details
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783831683765
- Auflage 2., unveränderte Auflage
- Größe H10mm x B205mm x T145mm
- EAN 9783831683765
- Format Kartonierter Einband
- Titel Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
- Autor Joachim F. Schreiber
- Untertitel Dissertationsschrift
- Gewicht 225g
- Herausgeber Utz Verlag
- Anzahl Seiten 174
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
