Søkt på: Bøker av S.R. Buss
totalt 5 treff
Feasible Mathematics
A so-called "e;effective"e; algorithm may require arbitrarily large finite amounts of time and space resources, and hence may not be practical in the real world. A …
Feasible Mathematics
A so-called "effective" algorithm may require arbitrarily large finite amounts of time and space resources, and hence may not be practical in the real world. A "feasible" algorithm …
God's Path to Healing Overflow
Handbook of Proof Theory
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of …
Handbook of Proof Theory
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of …