Automation of Reasoning 2
Classical Papers on Computational Logic 1967-1970
Seiten
1983
Springer Berlin (Hersteller)
978-3-540-12044-5 (ISBN)
Springer Berlin (Hersteller)
978-3-540-12044-5 (ISBN)
Lese- und Medienproben
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
| Reihe/Serie | Symbolic Computation |
|---|---|
| Zusatzinfo | . |
| Verlagsort | Berlin |
| Sprache | englisch |
| Gewicht | 1320 g |
| Einbandart | gebunden |
| Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 3-540-12044-0 / 3540120440 |
| ISBN-13 | 978-3-540-12044-5 / 9783540120445 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
