著者：Pierre Castéranに関する技術書一覧 (1ページ目) - techbooks

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Springer 2004/05

11

Yves Bertot Pierre Castéran G. Huet C. Paulin-Mohring

amazonで見る