Yves Bertot
Yves Bertot
3 ספרים במאגר
ספרים
Interactive Theorem Proving and Program DevelopmentYves Bertot
Interactive Theorem Proving and Program Development
Yves Bertot · 2004
Theorem proving in higher order logicsYves Bertot
Theorem proving in higher order logics
Yves Bertot · 1999
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and ProofsYves Bertot
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Yves Bertot · 2017
ספרים משותפים ואוספים
ספרים שבהם Yves Bertot מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.