Vorstellung des Autors Christoph Benzmueller:

Bisher veröffentlichte Bücher von Christoph Benzmueller:

Reasoning in Simple Type Theory: Festschrift zu Ehren von Peter B. Andrews zu seinem 70. Geburtstag...
Kings College Pubn
Reasoning in Simple Type Theory ist eine Sammlung...
Reasoning in Simple Type Theory: Festschrift zu Ehren von Peter B. Andrews zu seinem 70. Geburtstag - Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
<<
1
>>