Proof Assistants and Their Applications in Mathematics and Computer Science
Author:   Jasmin Blanchette ,  Assia Mahboubi
Publisher:   Springer International Publishing AG
ISBN:  

9783031851896


Pages:   390
Publication Date:   12 February 2026
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $168.16 Quantity:  
Add to Cart

Share |

Proof Assistants and Their Applications in Mathematics and Computer Science


Overview

Full Product Details

Author:   Jasmin Blanchette ,  Assia Mahboubi
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
ISBN:  

9783031851896


ISBN 10:   3031851897
Pages:   390
Publication Date:   12 February 2026
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Jasmin Blanchette earned his PhD degree in computer science in 2012 from the Technical University of Munich (Germany). He has been active in Germany, France, and the Netherlands, before coming back to Munich. Since 2023, he is professor at the Ludwig-Maximilians-Universität München, where he heads the Chair for Theoretical Computer Science and Theorem Proving. His research focused on using and developing interactive and automatic theorem provers.   After graduating in pure mathematics, Assia Mahboubi earned her PhD degree in computer science in 2006 from the University of Nice Sophia Antipolis (France) and her habilitation degree from Nantes University (France). Since 2017, she has been a researcher at the French research institute Inria, conducting research in dependent type theory and formalized mathematics.

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

RGFEB26

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now