Feasible mathematics

Ediciones (2)

• Feasible mathematics (1990)

  Birkhäuser · inglés

• Feasible Mathematics (Progress in Computer Science and Applied Logic (PCS)) (1990)

  Birkhauser · inglés · ISBN 9780817634834

Más obras de Samuel R. Buss

Handbook of proof theory

Proof complexity and feasible arithmetics

LLogic Colloquium '98

Logic Colloquium '98

3D Computer Graphics

BBounded arithmetic

Bounded arithmetic

Ver todas las obras de Samuel R. Buss →