Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Herzig, Andreas (EDT)/ Popescu, Andrei (EDT)

  • ウェブストア価格 ¥15,471(本体¥14,065)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 140pt
  • 海外取次在庫
Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerrito, Serenella (EDT)/ Popescu, Andrei (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。