A Multi-Strategy Tableau Prover : Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics (2017. 164 S. 220 mm)
  • 洋書

A Multi-Strategy Tableau Prover : Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics (2017. 164 S. 220 mm)  Paperback

Serra Seca Neto, Adolfo Gustavo

  • ウェブストア価格 ¥16,426(本体¥14,933)
  • NOVAS EDICIOES ACADEMICAS(2017発売)
  • ポイント 149pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Agile Methods : 8th Brazilian Workshop, WBMA 2017, Belém, Brazil, September 13-14, 2017, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Agile Methods : 8th Brazilian Workshop, WBMA 2017, Belém, Brazil, September 13-14, 2017, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Santos, Viviane Almeida dos (EDT)/ Pinto, Gustavo Henrique Lima (EDT)/ Serra Seca Neto, Adolfo Gustavo (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。