
Automatisierte Logik
- Alaotsikko
- Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
- Kirjailija
- Christoph Kreitz
- ISBN
- 9783662734100
- Kieli
- saksa
- Paino
- 310 grammaa
- Julkaisupäivä
- 27.7.2026
- Kustantaja
- Springer Fachmedien Wiesbaden
- Sivumäärä
- 270