PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION - MAINZER KLAUS ET AL

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 27-Jul-21 ONLINE RELEASE DATE

View Details

SLDL221F-4030A-TBD03 - Code barre : 0793591887067

SLDL221F-4030A-TBD03 - Code barre : 0793591887067 Find product 9.4W deep fixed DL, prismatic, CA

View Details

Etablissement Université d’Alger 3 - Brahim Soltane Chaibout Affiliation Département des Sciences Politiques Auteur ربيح, علي Directeur

Mémoires de Fin d’Etudes Etablissement Université d’Alger 3 - Brahim Soltane Chaibout Affiliation

View Details