Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 /
| Άλλοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Providence :
American Mathematical Society,
c1998
|
| Σειρά: | DIMACS series in discrete mathematics and theoretical computer science ;
39, |
| Θέματα: |