A Many Sorted Calculus Based on Resolution and Paramodulation
Seiten
1994
Morgan Kaufmann Publishers In (Verlag)
978-0-934613-49-1 (ISBN)
Morgan Kaufmann Publishers In (Verlag)
978-0-934613-49-1 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
| Erscheint lt. Verlag | 1.11.1994 |
|---|---|
| Zusatzinfo | Illustrations |
| Verlagsort | San Francisco |
| Sprache | englisch; deutsch |
| Maße | 169 x 243 mm |
| Gewicht | 268 g |
| Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
| ISBN-10 | 0-934613-49-4 / 0934613494 |
| ISBN-13 | 978-0-934613-49-1 / 9780934613491 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Eine praxisorientierte Einführung
Buch | Softcover (2025)
Springer Vieweg (Verlag)
CHF 53,15
Künstliche Intelligenz, Macht und das größte Dilemma des 21. …
Buch | Softcover (2025)
C.H.Beck (Verlag)
CHF 25,20
Buch | Softcover (2025)
Reclam, Philipp (Verlag)
CHF 11,20
