
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ä
- 11.10.2026
- Kustantaja
- Springer Fachmedien Wiesbaden