2 द्वारा ईबुक Stefano Berardi
Stefano Berardi & Mario Coppo: Types for Proofs and Programs
These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST projec …
PDF
अंग्रेज़ी
DRM
€57.35
Stefano Berardi & Ferruccio Damiani: Types for Proofs and Programs
These proceedings contain a selection of refereed papers presented at or – lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 i …
PDF
अंग्रेज़ी
DRM
€57.88
