Å·±¦ÓéÀÖ

Yves Bertot

Yves Bertot’s Followers (2)

member photo
member photo

Yves Bertot



Average rating: 4.1 · 29 ratings · 2 reviews · 5 distinct works
Interactive Theorem Proving...

4.11 avg rating — 28 ratings — published 2004 — 10 editions
Rate this book
Clear rating
From Semantics to Computer ...

by
really liked it 4.00 avg rating — 1 rating — published 2009 — 6 editions
Rate this book
Clear rating
Theorem Proving in Higher O...

0.00 avg rating — 0 ratings — published 1999 — 5 editions
Rate this book
Clear rating
From Semantics to Computer ...

by
0.00 avg rating — 0 ratings — published 2009
Rate this book
Clear rating
From Semantics to Computer ...

0.00 avg rating — 0 ratings
Rate this book
Clear rating
More books by Yves Bertot…


Is this you? Let us know. If not, help out and invite Yves to Å·±¦ÓéÀÖ.