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