Proof complexity and feasible arithmetics
DIMACS workshop, April 21-24, 1996
Edición de la obra Proof complexity and feasible arithmetics
| Autor | Paul W. Beame, Samuel R. Buss |
|---|---|
| Editorial | American Mathematical Society |
| Fecha de publicación | 1998 |
| Lugar | Providence, R.I |
| Idioma | inglés |
| Páginas | 320 |
| ISBN-10 | 0821805770 |
| LCCN | 97029122 |
| Serie | DIMACS series in discrete mathematics and theoretical computer science, · v. 39 |
| Número de Cutter |