1～3件／全3件 セーフサーチON
  •  
Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Felty, Amy P. (EDT)/ Middeldorp, Aart (EDT)

  • ウェブストア価格 ¥12,310（本体¥11,191）
  • Springer International Publishing AG（2015/07発売）
  • ポイント 111pt
  • 海外取次在庫
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings (Theoretical Computer Science and General Issues) （2013）
  • 洋書

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings (Theoretical Computer Science and General Issues) （2013）  Paperback,  言語：ENG

McMillan, Ken (EDT)/ Middeldorp, Aart (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥12,310（本体¥11,191）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/12発売）
  • ポイント 111pt
  • 海外取次在庫
Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) 〈Vol. 3838〉
  • 洋書

Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) 〈Vol. 3838〉  Hardcover

Middeldorp, Aart (EDT)/ Osstrom, Vincent van (et al., EDT)

  • ウェブストア価格 ¥28,151（本体¥25,592）
  • Springer（2005/12発売）
  • ポイント 255pt
  • 海外取次在庫
1～3件／全3件
  •