Automatic Theorem Proving and SMT
Name | Value |
Author | Mary Dey |
Creation Date | Mon May 13 20:01:04 2013 |
Creator | PowerPoint |
Encrypted | no |
File size | 19033827 bytes |
MIME type | application/pdf |
Modify Date | Mon May 13 20:01:04 2013 |
Optimized | no |
Page size | 720 x 540 pts |
Pages | 70 |
PDF version | 1.3 |
Producer | Mac OS X 10.7.4 Quartz PDFContext |
Size | 18.15 MB |
Tagged | no |