Lets Explore,
Cover of Interactive Theorem Proving

Interactive Theorem Proving

(Paperback)

Beringer Lennart Beringer, Felty Amy Felty,

Springer Nature B.V. (Publisher)

Published
2012
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 Beringer Lennart Beringer, Felty Amy Felty

Cover of Interactive Theorem Proving

Interactive Theorem Proving

Amy Felty

₹7363.0₹5743.0
Cover of Interactive Theorem Proving

Interactive Theorem Proving

Beringer Lennart Beringer

₹4323.15

Similar Products

Cover of Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Elsa L. Gunter

₹5699.0₹3647.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
Cover of Interactive Theorem Proving

Interactive Theorem Proving

Julien Schmaltz

₹2201.45
Cover of Interactive Theorem Proving

Interactive Theorem Proving

Paulin-Mohring Christine Paulin-Mohring

₹4323.15
Cover of Interactive Theorem Proving

Interactive Theorem Proving

Avigad Jeremy Avigad

₹4323.15
Cover of Interactive Theorem Proving

Interactive Theorem Proving

Ruben Gamboa

₹4323.15
Cover of Interactive Theorem Proving

Interactive Theorem Proving

Merz Stephan Merz

₹4323.15
Vidya AI