Research Catalog
Automated reasoning and its applications : essays in honor of Larry Wos
- Title
- Automated reasoning and its applications : essays in honor of Larry Wos / edited by Robert Veroff, with Gail W. Pieper.
- Publication
- Cambridge, Mass. : MIT Press, [1997], ©1997.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | QA76.9.A96 A918 1997 | Off-site |
Holdings
Details
- Additional Authors
- Description
- viii, 247 pages; 24 cm
- Subject
- Automatic theorem proving
- Note
- "Bibliography of Larry Wos": p. [235]-241.
- Bibliography (note)
- Includes bibliographical references and index.
- Contents
- 1. Wos and Automated Deduction at ANL: The Ethos / Ross Overbeek and Ewing Lusk -- 2. A Completeness Result for Linked Resolution / Kenneth Kunen -- 3. Generic Automatic Proof Tools / Lawrence C. Paulson -- 4. Automated Generation of Construction Steps for Geometric Constraint Problems / Shang-Ching Chou, Xiao-Shan Gao and Jing-Zhong Zhang -- 5. 33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies / William McCune -- 6. Specifying Latin Square Problems in Propositional Logic / Hantao Zhang -- 7. Mechanized Formal Reasoning about Programs and Computing Machines / Robert S. Boyer and J. Strother Moore -- 8. Constructors Can Be Partial, Too / Deepak Kapur -- 9. Metalevel Reasoning for Controlling Automated Reasoning Programs / Lawrence Henschen.
- ISBN
- 0262220555 (alk. paper)
- LCCN
- 96051916
- OCLC
- 36103675
- ocm36103675
- Owning Institutions
- Columbia University Libraries