2 电子书 Mario Coppo
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
