Prezentarea autorului Christoph Benzmueller:

Cărțile publicate de Christoph Benzmueller până acum:

Raționament în teoria tipurilor simple: Festschrift în onoarea lui Peter B. Andrews la cea de-a 70-a...
Kings College Pubn
Reasoning in Simple Type Theory este o colecție de...
Raționament în teoria tipurilor simple: Festschrift în onoarea lui Peter B. Andrews la cea de-a 70-a aniversare a sa - Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
<<
1
>>

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)