本文に飛ぶ

年 〜
年

検索結果 4 件

From semantics to computer science : essays in honour of Gilles Kahn

From semantics to computer science : essays in honour of Gilles Kahn
紙図書
edited by Yves Bertot ... [et al.]Cambridge University Press2009
全国の図書館
  • 著者標目Kahn, Gilles Bertot, Yves

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions : pbk

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions : pbk
紙図書
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-MohringSpringerc2010
全国の図書館
  • 著者標目Bertot, Yves Castéran, P. (Pierre) Huet, G...

Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions : pbk

Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions : pbk
紙図書
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-MohringSpringerc2004
全国の図書館
  • 著者標目Bertot, Yves Castéran, P. (Pierre)

Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings
紙図書
Yves Bertot ... [et al.] (eds.)Springerc1999
全国の図書館
  • 著者標目International Conference on Theorem Proving in Higher Order Logics Bertot, Yves

検索結果は以上です。

RSS