1～1件／全1件 セーフサーチON
  •  
Theorem Proving in Higher Order Logics, TPHOLS 2004 : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science Vol.3223) （2004. VIII, 337 p. 23,5 cm）
  • 洋書

Theorem Proving in Higher Order Logics, TPHOLS 2004 : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science Vol.3223) （2004. VIII, 337 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Konrad Slind, Annette Bunker a. Ganesh C. Gopalakrishnan

  • ウェブストア価格 ¥12,697（本体¥11,543）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 115pt
  • 海外取次在庫
1～1件／全1件
  •