1～3件／全3件 セーフサーチON
  •  
Generating Plans from Proofs (Synthesis Lectures on Data Management)
  • 洋書

Generating Plans from Proofs (Synthesis Lectures on Data Management)  Paperback,  言語：ENG

Benedikt, Michael/ Leblay, Julien/ Cate, Balder ten

  • ウェブストア価格 ¥12,557（本体¥11,416）
  • Springer International Publishing AG（2016/03発売）
  • ポイント 114pt
  • 海外からお取り寄せ（通常6～9週間）
Web Reasoning and Rule Systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. (Lecture Notes in Computer Science)
  • 洋書

Web Reasoning and Rule Systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. (Lecture Notes in Computer Science)  Paperback,  言語：ENG

ten Cate, Balder (EDT)/ Mileo, Alessandra (EDT)

  • ウェブストア価格 ¥9,438（本体¥8,580）
  • Springer International Publishing AG（2015/07発売）
  • ポイント 85pt
  • 海外取次在庫
Logic, Language, and Computation : 6th International Tbilisi Symposium, Georgia, 2005, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 4363〉
  • 洋書

Logic, Language, and Computation : 6th International Tbilisi Symposium, Georgia, 2005, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 4363〉  Paperback,  言語：ENG

Cate, Balder D. ten (EDT)/ Zeevat, H. W. (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer（2007/10発売）
  • ポイント 104pt
  • 海外からお取り寄せ（通常6～9週間）
1～3件／全3件
  •