Presentazione dell'autore Christoph Benzmueller:

Libri pubblicati finora da Christoph Benzmueller:

Ragionamento nella teoria dei tipi semplici: Festschrift in onore di Peter B. Andrews per il suo 70°...
Kings College Pubn
Reasoning in Simple Type Theory è una raccolta di...
Ragionamento nella teoria dei tipi semplici: Festschrift in onore di Peter B. Andrews per il suo 70° compleanno - Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
<<
1
>>

© Book1 Group - tutti i diritti riservati.
Il contenuto di questo sito non può essere copiato o utilizzato, né in parte né per intero, senza il permesso scritto del proprietario.
Ultima modifica: 2024.11.08 20:28 (GMT)