Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003 : Proceedi
  • 洋書

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003 : Proceedi  Paperback,  言語:ENG

Tableaux 200 (2003 Rome, Italy)/ Cialdea Mayer, Marta/ Pirri, Fiora

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Verlag(2003/08発売)
  • ポイント 109pt
  • 海外取次在庫