Automated deduction--a basis for applications.
Saved in:
| Imprint: | Dordrecht ; Boston : Kluwer Academic Publishers, c1998. |
|---|---|
| Description: | 3 v. ; 25 cm. |
| Language: | English |
| Series: | Applied logic series v.8-10 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/3365187 |
