Yves Bertot

Share

Bibliography

collections

Texts In Theoretical Computer Science. An Eatcs Series

  1. Interactive Theorem Proving And Program Development
    #1
X
Recommend
Yves Bertot
To recommend this author to a friend, simply fill in your name and email, as well as the name and email of the person you want to suggest them to. If you wish, you can also add a small comment, then click to send the request. Your recommendation will be immediately sent in your name to the email address of the person you are recommending them to.
Your identification:
The identification of the person you want to recommend this title to:
X
Your recommendation has been successfully sent!
X
An error occurred while sending your recommendation.
X
selecione o livro adotado:
X
An error occurred!
Please try again later.
X
You have reached the maximum number of authorized devices
Please go to your customer area to manage active devices.