Automatic Theorem Proving and SMT

Namesort iconValue
AuthorMary Dey
Creation DateMon May 13 20:01:04 2013
CreatorPowerPoint
Encryptedno
File size19033827 bytes
MIME typeapplication/pdf
Modify DateMon May 13 20:01:04 2013
Optimizedno
Page size720 x 540 pts
Pages70
PDF version1.3
ProducerMac OS X 10.7.4 Quartz PDFContext
Size18.15 MB
Taggedno