Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas
67,13 €
Nal decisions were made by the editors. (technicalsupport). Types for Proofs and Programs. Short Title TYPES FOR PROOFS & PROGRAMS 20. - A Content Based Mathematical Search Engine: Whelp. - A Machine-Checked Formalization of the Random Oracle Model.
Jetzt bei Ebay:
