Menu
Help
Sign In

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