ヘルプ
ヘルプ

検索結果 2 件

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)
紙図書
Springerc2009.<M17-10-304>
国立国会図書館
  • ISSN（シリーズ）0302-9743
  • 件名Propositional calculus -- Congresses. Decision making -- Congresses. Co......ter algorithms -- Congresses. Algebra, Boolean -- Congresses.
  • 一般注記Abstracts and papers. "Sever......iated with the SAT conference, (...) " -- pref.

Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009 Swansea, UK, June 30 - July 3, 2009 : proceedings

Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009 Swansea, UK, June 30 - July 3, 2009 : proceedings
紙図書
Oliver Kullmann (ed.)Springerc2009
全国の図書館
  • 著者標目Oliver Kullmann International Conference on Theory and Applications of Satisfiability Testing
  • 著者標目（識別子）DA14360310 https://ci.nii.ac.jp/author/DA14360310#entity https://viaf.org/viaf/sourceID/NII%7CDA14360310
  • 出版年（W3CDTF）2009

検索結果は以上です。