Yves Bertot

Toevoegen aan favorieten

Auteur

Yves Bertot

Wikipedia: Yves Bertot

Deel op Twitter

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introducti... »

Theorem Proving In Higher Order Logics

Theorem Proving In Higher Order Logics
12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings »

domReadyCallbacks.push( function() { new Error('Sorry, dit kan je alleen doen als je ingelogd bent. Als je nog geen lid bent, kun je dat hier worden.'); });