Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-3 of 3 results for author "Buss, Samuel R."
Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 / Paul W. Beame, Samuel R. Buss, editors.
- Text
- Providence, R.I. : American Mathematical Society, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSF 97-674 Offsite Handbook of proof theory / edited by Samuel R. Buss.
- Text
- Amsterdam ; New York : Elsevier, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSD 99-191 Offsite Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 / Samuel R. Buss, Philip J. Scott, editors.
- Text
- Boston : Birkhäuser, 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .F43 1990 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
