年 〜
年

検索結果 2 件

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)
紙図書
Springer[2014]<M17-15-1591>
国立国会図書館
  • 著者標目SAT 2014 (2014 : Vienna, Austria) Sinz, Carsten. Egly, Uwe, 1960- Kurt Godel ...

Theory and applications of satisfiability testing - SAT 2014 : 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings : pbk

Theory and applications of satisfiability testing - SAT 2014 : 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings : pbk
紙図書
Carsten Sinz, Uwe Egly (eds.)Springerc2014
全国の図書館
  • 著者標目Sinz, Carsten Egly, Uwe International Confe...

検索結果は以上です。