Theorem proving in higher order logicsYves Bertot
Theorem proving in higher order logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz · 1999
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1999
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 2
- עמודים
- 359
- ISBN
- 9783540664635
מקור הנתונים: Wikidata
עוד של Yves Bertot
Interactive Theorem Proving and Program DevelopmentYves Bertot
Interactive Theorem Proving and Program Development
Yves Bertot · 2004
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