We hebben 4 boeken gevonden van de auteur Bertot, Yves
Hieronder vindt u een lijst met alle gevonden boeken van de auteur Bertot, Yves.
De meest gevonden boeken zijn Interactive Theorem Proving And Program Development, From Semantics To Computer Science, Theorem Proving In Higher Order Logics en Interactive Theorem Proving And Program Development: Coq'art.