Christine Paulin-Mohring
Christine Paulin-Mohring
ספרים
ספרים משותפים ואוספים
ספרים שבהם Christine Paulin-Mohring מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)Sandrine Blazy
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)
Sandrine Blazy · 2013
Interactive Theorem ProvingSandrine Blazy
Interactive Theorem Proving
Sandrine Blazy · 2013
Types for Proofs and ProgramsJean-Christophe Filliatre
Types for Proofs and Programs
Jean-Christophe Filliatre · 2006