Suchergebnisse für ""Yves Bertot""
4 Artikel gefunden
Suchfilter
Cover Interactive Theorem Proving and Program Development
Yves Bertot, Pierre …
Interactive Theorem Proving and Program …
Buch

61,99 €
Cover Interactive Theorem Proving and Program Development
Yves Bertot, Pierre …
Interactive Theorem Proving and Program …
Buch

82,99 €
Cover Theorem Proving in Higher Order Logics
Yves Bertot / Gilles …
Theorem Proving in Higher Order Logics
Buch

39,99 €
Cover Interactive Theorem Proving and Program Development (eBook, PDF)
Yves Bertot, Pierre …
Interactive Theorem Proving and Program …
eBook

65,95 €

Ähnliche Artikel

Cover Theorem Proving in Higher Order Logics
Joe Hurd / Tom …
Theorem Proving in Higher Order Logics
Buch

39,99 €
Cover Theorem Proving in Higher Order Logics
Basin 
Theorem Proving in Higher Order Logics
Buch

39,99 €
Cover Theorem Proving in Higher Order Logics
Gunter 
Theorem Proving in Higher Order Logics
Buch

39,99 €
Cover Theorem Proving in Higher Order Logics
Grundy 
Theorem Proving in Higher Order Logics
Buch

39,99 €
Cover Theorem Proving in Higher Order Logics
Richard J. Boulton / …
Theorem Proving in Higher Order Logics
Buch

39,99 €
Cover Interactive Theorem Proving
 
Interactive Theorem Proving
Buch

38,99 €
Cover Theorem Proving with the Real Numbers
John Harrison 
Theorem Proving with the Real Numbers
Buch

75,99 €
Cover Interactive Theorem Proving
 
Interactive Theorem Proving
Buch

38,99 €
Cover Types for Proofs and Programs
Dybjer 
Types for Proofs and Programs
Buch

39,99 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON

Filter