Series |
ACM Digital Library
|
Access |
License restrictions may limit access. |
Summary |
Annotation SMT '08/BPR '08: 2008 Joint Workshops on the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning Jul 07, 2008-Jul 14, 2008 Princeton, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl. |
Audience |
Scholarly & Professional Association for Computing Machinery |
Added Author |
Barrett,Clark Editor Editor.
|
|
ACM Digital Library
|
ISBN |
9781605584409 |
|
1605584401 (Trade Cloth) USD 99.00 Retail Price (Publisher) Active Record |
OCLC # |
sseb_ssj0000813735 |
|