MENÜ
The Disconnection Calculus
Gernot Stenz
ISBN 978-3-8325-0070-2
193 pages, year of publication: 2002
price: 40.50 €
Keywords:
BUYING OPTIONS
- Logik
- Theorembeweise
- Tableauverfahren
- Suchraumreduktion
- Parallelosierung
BUYING OPTIONS
| 40.50 € | ||
| in stock | ||
Logos Verlag Berlin GmbH, Georg-Knorr-Str. 4, Geb. 10, D-12681 Berlin, Tel.: +49 (0)30 4285 1090, FAX: +49 (0)30 4285 1092 Datenschutz