Proof-theoretic Semantics
Seiten
2015
College Publications (Verlag)
978-1-84890-183-4 (ISBN)
College Publications (Verlag)
978-1-84890-183-4 (ISBN)
- Titel nicht im Sortiment
- Artikel merken
Erscheinungsdatum | 13.12.2015 |
---|---|
Sprache | englisch |
Maße | 156 x 234 mm |
Gewicht | 608 g |
Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
ISBN-10 | 1-84890-183-6 / 1848901836 |
ISBN-13 | 978-1-84890-183-4 / 9781848901834 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
REDLINE (Verlag)
CHF 27,95
Eine kurze Geschichte der Informationsnetzwerke von der Steinzeit bis …
Buch | Hardcover (2024)
Penguin (Verlag)
CHF 39,20