search for books and compare prices
Samuel R. Buss has written 6 work(s)
Search for other authors with the same name
displaying 1 to 6 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780521821032 Cover for 9781568811130 Cover for 9781568811147 Cover for 9780444898401 Cover for 9780080533186 Cover for 9780821805770
3D Computer Graphics: A Mathematical Introduction With Opengl
cover image for 9780521821032
(view table of contents)
By Samuel R. Buss
See complete details on each edition (1 edition listed)

Hardcover:

9780521821032 | Cambridge Univ Pr, June 1, 2003, cover price $110.00

Logic Colloquium '98: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Prague, Czech Republic August 9-15. 1998
cover image for 9781568811130
Product Description: A compilation of papers presented at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 includes surveys and research from the world's preeminent logicians. Topics cover current research from all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, Computability Theory, and Philosophy...read more (view table of contents, read Amazon.com's description)
By Association for Symbolic Logic (corporate author), Samuel R. Buss, Petr Hajek, Logic Colloquium and Pavel Pudlak
See complete details on each edition (1 edition listed)

Hardcover:

9781568811130 | A K Peters Ltd, November 1, 1999, cover price $99.95 | About this edition: A compilation of papers presented at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 includes surveys and research from the world's preeminent logicians.

Logic Colloquium '98: Proceedings of the 1998 Asl European Summer Meeting Held in Prague, Czech Republic
cover image for 9781568811147
Product Description: A compilation of papers presented at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 includes surveys and research from the world's preeminent logicians. Topics cover current research from all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, Computability Theory, and Philosophy...read more (view table of contents, read Amazon.com's description)
By Association for Symbolic Logic (corporate author), Samuel R. Buss, Petr Hajek, Logic Colloquium and Pavel Pudlak
See complete details on each edition (1 edition listed)

Paperback:

9781568811147 | A K Peters Ltd, November 1, 1999, cover price $40.00 | About this edition: A compilation of papers presented at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 includes surveys and research from the world's preeminent logicians.

Handbook of Proof Theory
cover image for 9780444898401
(view table of contents)
By Samuel R. Buss (editor)
See complete details on each edition (2 editions listed)

Hardcover:

9780444898401 | Elsevier Science Serials, July 9, 1998, cover price $195.00

Miscellaneous:

9780080533186 | Elsevier Science, July 9, 1998, cover price $182.00

Proof Complexity and Feasible Arithmetics: Dimacs Workshop April 21-24, 1996
cover image for 9780821805770
Product Description: Questions of mathematical proof and logical inference have been a significant thread in modern mathematics and have played a formative role in the development of computer science and artificial intelligence. Research in proof complexity and feasible theories of arithmetic aims at understanding not only whether logical inferences can be made, but also what resources are required to carry them out...read more
By Paul W. Beame (editor), Samuel R. Buss (editor) and Dimacs (other contributor)
See complete details on each edition (1 edition listed)

Hardcover:

9780821805770 | Amer Mathematical Society, October 1, 1997, cover price $75.00 | About this edition: Questions of mathematical proof and logical inference have been a significant thread in modern mathematics and have played a formative role in the development of computer science and artificial intelligence.

Bounded Arithmetic
By Samuel R. Buss
See complete details on each edition (1 edition listed)

Paperback:

9788870881509 | Amer Inst of Physics, September 1, 1987, cover price $55.00

displaying 1 to 6 | at end