Matches in Library of Congress for { <http://lccn.loc.gov/97029122> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 97029122 contributor B8057485.
- 97029122 contributor B8057486.
- 97029122 contributor B8057487.
- 97029122 created "c1998.".
- 97029122 date "1998".
- 97029122 date "c1998.".
- 97029122 dateCopyrighted "c1998.".
- 97029122 description "Includes bibliographical references.".
- 97029122 extent "xii, 320 p. :".
- 97029122 identifier "0821805770 (alk. paper)".
- 97029122 isPartOf "DIMACS series in discrete mathematics and theoretical computer science, 1052-1798 ; v. 39".
- 97029122 issued "1998".
- 97029122 issued "c1998.".
- 97029122 language "eng".
- 97029122 publisher "Providence, R.I. : American Mathematical Society,".
- 97029122 subject "511.3 21".
- 97029122 subject "Computational complexity Congresses.".
- 97029122 subject "Constructive mathematics Congresses.".
- 97029122 subject "Proof theory Congresses.".
- 97029122 subject "QA9.54 .P75 1998".
- 97029122 title "Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 / Paul W. Beame, Samuel R. Buss, editors.".
- 97029122 type "text".