年 〜
年

検索結果 2 件

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004 : Park City, Utah, USA, September 14-17, 2004 : proceedings. : Sep 2004, Park City, UT. (Lecture Notes in Computer Science ; 3223)

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004 : Park City, Utah, USA, September 14-17, 2004 : proceedings. : Sep 2004, Park City, UT. (Lecture Notes in Computer Science ; 3223)
紙図書
Springerc2004.<M17-05-108>
国立国会図書館
  • 著者標目Slind, Konrad. Bunker, Annette. Gopalakrishn...

Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings

Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
紙図書
Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)Springerc2004
全国の図書館

検索結果は以上です。