本文に飛ぶ

年 〜
年

検索結果 3 件

Automated reasoning with analytic tableaux and related methods : 22nd international conference, TABLEAUX 2013 : Nancy, France, September 16-19, 2013 : proceedings : Sep 2013, Nancy, France. (Lecture Notes in Computer Science ; 8123. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 22nd international conference, TABLEAUX 2013 : Nancy, France, September 16-19, 2013 : proceedings : Sep 2013, Nancy, France. (Lecture Notes in Computer Science ; 8123. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-14-746>
国立国会図書館
  • DDC006.333

Handbook of practical logic and automated reasoning / John Harrison.

Handbook of practical logic and automated reasoning / John Harrison.
紙図書
Cambridge University Press2009.<M154-B88>
国立国会図書館
  • DDC006.333

Automated reasoning : third international joint conference, IJCAR 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4130. Lecture Notes in Artificial Intelligence)

Automated reasoning : third international joint conference, IJCAR 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4130. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2006.<M17-06-2731>
国立国会図書館
  • DDC006.333

検索結果は以上です。

RSS