×

zbMATH — the first resource for mathematics

Found 11 Documents (Results 1–11)

100
MathJax
Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Beame, Paul W. (ed.) et al., Proof complexity and feasible arithmetics. Papers from the DIMACS workshop, Rutgers, NJ, USA, April 21–24, 1996. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 39, 37-57 (1998).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite