Further processing options
Review of introduction to mathematics of satisfiability, by Victor W. Marek
Saved in:
Journal Title: | ACM SIGACT News |
---|---|
Authors and Corporations: | |
In: | ACM SIGACT News, 43, 2012, 3, p. 41-44 |
Type of Resource: | E-Article |
Language: | English |
published: |
Association for Computing Machinery (ACM)
|
Subjects: |