Theory and applications of satisfiability testing :
- Publisher: Springer
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 62893603
- Subject: Propositional calculus Congresses.
- Subject code: QA
- Publication history: 6th (May 5-8, 2003)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 2003-2005 | permanent |