My Library

     
Limit search to available items
Book Cover
EBOOK
Title Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning [electronic resource]
Publication Info. New York : Association for Computing Machinery July 2008

Location Call No. Status Notes
 Libraries Electronic Books  ELECTRONIC BOOK-ACM Digital Library    AVAIL. ONLINE
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
View Shelf for Similar Items