Shelfari: The Site for Books & Readers
sign in
|
help
More
Books
Featured
Most Popular
Recent Edits
Subjects
Series & Lists
Tags
Authors
More
Community
Members
Most Active
Groups
Most Active
Group Categories
Shelfari Blog
advanced search
Search
Books
Search:
Books/Authors
Members
Groups
Discussions
Yves Bertot
(edit name/settings)
Details
Books
(1)
Discussions
(0)
see page history
Notify me when this page changes.
Overview
edit
Write an overview for this author.
Bibliography
(2004)
Interactive Theorem Proving and Program Development
See complete bibliography
(1)
Personal
edit
Legal name: Yves Bertot
Birthdate:
(add)
Birthplace:
(add)
Nationality:
(add)
Gender:
(add)
Official Website:
(add)
Genres:
(add)
My Status
My Review
My Edition
My Tags
More to Do
