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)

  • ウェブストア価格 ¥18,645(本体¥16,950)
  • Springer(2007/10発売)
  • ポイント 169pt
  • 海外からお取り寄せ(通常6~9週間)
Web Reasoning and Rule Systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Web Reasoning and Rule Systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥9,818(本体¥8,926)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 89pt
  • 海外取次在庫
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,292(本体¥11,175)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 111pt
  • 海外からお取り寄せ(通常6~9週間)