Lets Explore,
Cover of Interactive Theorem Proving

Interactive Theorem Proving

(Paperback)

Paulin-Mohring Christine Paulin-Mohring, Pichardie David Pichardie, Blazy Sandrine Blazy,

Springer Nature B.V. (Publisher)

Published
2013
Reviews
0
Mathematics and ScienceMathematicsMathematical foundationsMathematical logic

Ships within 12-14 days

Out Of Stock

₹4197.00
₹4239.00
1% off
Interactive Theorem Proving

More books by Paulin-Mohring Christine Paulin-Mohring, Pichardie David Pichardie, Blazy Sandrine Blazy

Cover of Interactive Theorem Proving

Interactive Theorem Proving

Christine Paulin-Mohring

₹5699.0₹3647.0
Cover of Interactive Theorem Proving

Interactive Theorem Proving

Paulin-Mohring Christine Paulin-Mohring

₹4323.15

Similar Products

Cover of Interactive Theorem Proving

Interactive Theorem Proving

Christine Paulin-Mohring

₹5699.0₹3647.0
Cover of Mathematics of Program Construction

Mathematics of Program Construction

Christine Paulin-Mohring

₹2201.45
Cover of Mathematics of Program Construction

Mathematics of Program Construction

Christine Paulin-Mohring

₹1267.0
Cover of Types for Proofs and Programs

Types for Proofs and Programs

Christine Paulin-Mohring

₹6028.6
Cover of Types for Proofs and Programs

Types for Proofs and Programs

Christine Paulin-Mohring

₹2201.45
Cover of Types for Proofs and Programs

Types for Proofs and Programs

Christine Paulin-Mohring

₹5765.0
Cover of Interactive Theorem Proving

Interactive Theorem Proving

Ayala-Rincon Mauricio Ayala-Rincon

₹4323.15
Cover of Interactive Theorem Proving

Interactive Theorem Proving

Matt Kaufmann

₹2201.45
Vidya AI