著者

出版社

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
  • 洋書

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A  Paperback,  言語:ENG

Bibel, W./ Schmitt, P. H.

  • ウェブストア価格 ¥48,629(本体¥44,209)
  • Springer(2010/12発売)
  • ポイント 442pt
  • 海外取次在庫
Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
  • 洋書

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A  Paperback,  言語:ENG

Bibel, W./ Schmitt, P. H.

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer(2010/12発売)
  • ポイント 341pt
  • 海外取次在庫