Pokazujący Hardcover Book · Pokaż wszystko
Pokaż niedostępne przedmioty

Wydania przez Yves Bertot

14 maja 2004 – 24 września 2009

Cover for Yves Bertot · From Semantics to Computer Science: Essays in Honour of Gilles Kahn (Hardcover Book) (2009)

From Semantics to Computer Scien... (2009)

Cover for Yves Bertot · Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2004 edition] (2004)

Interactive Theorem Proving and ... (2004)