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
€58.19
