年 〜
年

検索結果 5 件

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)
紙図書
Springerc2010.<M17-11-152>
国立国会図書館
  • 著者標目...f Informatics. Strichman, Ofer. Szeider, Stefan. SAT 2010 (20...

7th international workshop on satisfiability modulo theories 2009 : (SMT 09) : Montreal, Canada : 2-3 August 2009. : Aug 2009, Montreal, Canada. (ACM International Conference Proceedings Series ; 375)

7th international workshop on satisfiability modulo theories 2009 : (SMT 09) : Montreal, Canada : 2-3 August 2009. : Aug 2009, Montreal, Canada. (ACM International Conference Proceedings Series ; 375)
紙図書
ACMc2009.<M17-10-2986>
国立国会図書館
  • 著者標目Dutertre, Bruno. Strichman, Ofer. International Workshop on Sat...

Decision procedures : an algorithmic point of view : hardback 2nd ed

Decision procedures : an algorithmic point of view : hardback 2nd ed
紙図書
Daniel Kroening, Ofer StrichmanSpringerc2016
全国の図書館

Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings

Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings
紙図書
Ofer Strichman, Rachel Tzoref-Brill (eds.)Springerc2017
全国の図書館

Decision procedures : an algorithmic point of view

Decision procedures : an algorithmic point of view
紙図書
Daniel Kroening, Ofer Strichman ; foreword by Randal E. BryantSpringerc2008
全国の図書館

検索結果は以上です。