Automated Reasoning in Higher-order Logic
Set Comprehension and Extensionality in Church's Type Theory
Seiten
2007
College Publications (Verlag)
9781904987574 (ISBN)
College Publications (Verlag)
9781904987574 (ISBN)
- Titel nicht im Sortiment
- Artikel merken
| Erscheint lt. Verlag | 22.10.2007 |
|---|---|
| Zusatzinfo | black & white illustrations |
| Verlagsort | London |
| Sprache | englisch |
| Maße | 156 x 234 mm |
| Gewicht | 781 g |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-13 | 9781904987574 / 9781904987574 |
| 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
