「Theory and Applications of Satisfiability Testing - SAT 2013」のOpenURLのAPI検索結果 | NDLサーチ | 国立国会図書館

検索結果 2 件

タイトルでまとめる

Theory and applications of satisfiability testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

紙図書

Matti Järvisalo, Allen Van Gelder (eds.)Springerc2013

全国の図書館

LC control number2013941358
件名Computer algorithms -- Congresses Computer software -- Verification -- Congresses
件名（識別子）Computer algorithms -- Congresses Computer software -- Verification -- Congresses

Theory and applications of satisfiability testing -- SAT 2013 : 16th international conference : Helsinki, Finland, July 8-12, 2013 : proceedings : Jul 2013, Helsinki, Finland. (Lecture Notes in Computer Science ; 7962)

紙図書

Springerc2013.<M17-14-553>

国立国会図書館

LC control number2013941358
件名Computer algorithms--Congresses Computer software--Verification--Congresses.
一般注記Papers and an abstract. "...... Conference on Theory and Applications of Satisfiability Testing (SAT) is the primar......meeting (...)" -- pref.

検索結果は以上です。