Research Catalog
Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996
- Title
- Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 / Paul W. Beame, Samuel R. Buss, editors.
- Publication
- Providence, R.I. : American Mathematical Society, 1997.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 97-674 | Offsite |
Details
- Additional Authors
- Description
- xii, 320 p. : ill.; 26 cm.
- Series Statement
- DIMACS series in discrete mathematics and theoretical computer science, 1052-1798 ; v. 39
- Subjects
- Note
- Papers from the proceedings of a workshop held in Rutgers, N.J.
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSF 97-674
- ISBN
- 0821805770 (alk. paper)
- LCCN
- 97029122
- OCLC
- 37465135
- Title
- Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 / Paul W. Beame, Samuel R. Buss, editors.
- Imprint
- Providence, R.I. : American Mathematical Society, 1997.
- Series
- DIMACS series in discrete mathematics and theoretical computer science, 1052-1798 ; v. 39
- Bibliography
- Includes bibliographical references.
- Added Author
- Beame, Paul W., 1959-Buss, Samuel R.
- Research Call Number
- JSF 97-674