Jump to main content

yr 〜
yr

Search results 2

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings
Paper図書
Klaus Schneider, Jens Brandt (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Schneider, Klaus Brandt, Jens

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007 : Kaiserslautern, Germany, September 10-13, 2007 : proceedings. : 20th international conference on theorem proving in higher-order logics : Sep 2007, Kaiserslautern, Germany. (Lecture Notes in Computer Science ; 4732)

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007 : Kaiserslautern, Germany, September 10-13, 2007 : proceedings. : 20th international conference on theorem proving in higher-order logics : Sep 2007, Kaiserslautern, Germany. (Lecture Notes in Computer Science ; 4732)
Paper図書
Springerc2007.<M17-07-2734>
National Diet Library
  • Author HeadingSchneider, Klaus, 1967- Brandt, Jens, 1978- TPHOLs 2007 (2007 : Ka...

Reached to the end of result.

RSS