Current Trends in Automated Theorem Proving
Seiten
2025
Clanrye International (Verlag)
978-1-64726-813-8 (ISBN)
Clanrye International (Verlag)
978-1-64726-813-8 (ISBN)
- Titel nicht im Sortiment
- Artikel merken
| Erscheinungsdatum | 02.09.2025 |
|---|---|
| Sprache | englisch |
| Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 1-64726-813-3 / 1647268133 |
| ISBN-13 | 978-1-64726-813-8 / 9781647268138 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2025)
Reclam, Philipp (Verlag)
CHF 11,20
Eine kurze Geschichte der Informationsnetzwerke von der Steinzeit bis …
Buch | Hardcover (2024)
Penguin (Verlag)
CHF 39,95
die materielle Wahrheit hinter den neuen Datenimperien
Buch | Hardcover (2024)
C.H.Beck (Verlag)
CHF 44,75
