No Media
This item doesn’t have any media yet
Edit
Logic for Computer Science: Foundations of Automatic Theorem Proving
2014 | Computing & IT
No description currently exists - add one now
Jean Gallier
(Author)
| Published by | Dover Publications Inc. |
| Edition | Unknown |
| ISBN | 9780486780825 |
| Language | N/A |
Images And Data Courtesy Of: Dover Publications Inc..
This content (including text, images, videos and other media) is published and used in accordance
with Fair Use.