Author books / Книги автора Samuel R. Buss » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Samuel R. Buss

book Bounded Arithmetic

Bounded Arithmetic

djvu

Author: Samuel R. Buss
Language: English
Year: 1986

00

29.01.2024

0

0

book Proof Complexity and Feasible Arithmetics: Dimacs Workshop April 21-24, 1996

Proof Complexity and Feasible Arithmetics: Dimacs Workshop April 21-24, 1996

pdf

Author: Paul W. Beame Samuel R. Buss (eds.)
Language: English
Year: 1997

00

27.01.2024

0

0

book Bounded Arithmetic

Bounded Arithmetic

pdf

Author: Samuel R. Buss
Language: English
Year: 1987

00

27.01.2024

0

0

book Some proofs about determinants [Lecture notes]

Some proofs about determinants [Lecture notes]

pdf

Author: Samuel R. Buss
Language: English
Year: 2003

00

27.01.2024

0

0

book Handbook of Proof Theory

Handbook of Proof Theory

djvu

Author: Samuel R. Buss (Editor)
Language: English
Year: 1998

00

27.01.2024

0

0

book Feasible Mathematics I: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

Feasible Mathematics I: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

pdf

Author: Samuel R. Buss Philip J. Scott (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book Handbook of Proof Theory

Handbook of Proof Theory

pdf

Author: Samuel R. Buss (Editor)
Language: English
Year: 1998

00

27.01.2024

0

0

book 3D Computer Graphics: A Mathematical Introduction with OpenGL

3D Computer Graphics: A Mathematical Introduction with OpenGL

pdf

Author: Samuel R. Buss
Language: English
Year: 2003

00

27.01.2024

0

0

book Handbook of Proof Theory

Handbook of Proof Theory

pdf

Author: Samuel R. Buss (Editor)
Language: English
Year: 1998

00

27.01.2024

0

0

book 3D Computer Graphics : A Mathematical Introduction with OpenGL

3D Computer Graphics : A Mathematical Introduction with OpenGL

pdf

Author: Samuel R. Buss
Language: English
Year: 2003

00

27.01.2024

0

0