Jump to main content

yr 〜
yr

Search results 4

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

From semantics to computer science : essays in honour of Gilles Kahn
Paper図書
edited by Yves Bertot ... [et al.]Cambridge University Press2009
Other Libraries in Japan
  • Author HeadingKahn, 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
Paper図書
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-MohringSpringerc2010
Other Libraries in Japan
  • Author HeadingBertot, 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
Paper図書
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-MohringSpringerc2004
Other Libraries in Japan
  • Author HeadingBertot, 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
Paper図書
Yves Bertot ... [et al.] (eds.)Springerc1999
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Bertot, Yves

Reached to the end of result.

RSS