Proof complexity and feasible arithmetics
DIMACS workshop, April 21-24, 1996
Gespeichert in:
Verfasser / Beitragende:
Paul W. Beame, Samuel R. Buss, editors
Ort, Verlag, Jahr:
Providence, R.I :
American Mathematical Society,
1998
Beschreibung:
1 Online-Ressource
Format:
Buch (Kongress) (online)
Online Zugang: