Research Catalog
A fascinating country in the world of computing : your guide to automated reasoning
- Title
- A fascinating country in the world of computing : your guide to automated reasoning / Larry Wos, Gail W. Pieper.
- Author
- Wos, Larry.
- Publication
- Singapore ; River Edge, NJ : World Scientific, [1999], ©1999.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| book & CD | Text | Request in advance | QA76.9.A96 W67 1999g book & CD | Off-site |
Holdings
Details
- Additional Authors
- Pieper, Gail W.
- Description
- xx, 587 pages : illustrations; 23 cm +
- Subject
- Automatic theorem proving
- Bibliography (note)
- Includes bibliographical references (p. 561-569) and index.
- ISBN
- 9810239106
- OCLC
- ocm43799884
- SCSB-3828616
- Owning Institutions
- Columbia University Libraries