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 Theorem Proving In Higher Order Logics, Interactive Theorem Proving And Program Development, From Semantics To Computer Science en Interactive Theorem Proving And Program Development: Coq'art.