Thistlewaite: *Automated* Theorem-Provin
Seiten
1988
John Wiley & Sons Inc (Hersteller)
978-0-470-21006-2 (ISBN)
John Wiley & Sons Inc (Hersteller)
978-0-470-21006-2 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
| Zusatzinfo | Illustrations |
|---|---|
| Verlagsort | New York |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 0-470-21006-0 / 0470210060 |
| ISBN-13 | 978-0-470-21006-2 / 9780470210062 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
