Buss, Samuel R.
Buss, Samuel R., 1957-....
Buss, Samuel
Samuel Buss American computer scientist and matematician
Buss, Samuel (Samuel R.)
VIAF ID: 170410 ( Personal )
Permalink: http://viaf.org/viaf/170410
Preferred Forms
- 200 _ | ‡a Buss ‡b Samuel R. ‡f 1957-....
- 100 1 _ ‡a Buss, Samuel
-
- 100 1 0 ‡a Buss, Samuel R.
-
-
-
-
- 100 1 _ ‡a Buss, Samuel R.
-
-
- 100 1 _ ‡a Buss, Samuel R., ‡d 1957-....
-
- 100 0 _ ‡a Samuel Buss ‡c American computer scientist and matematician
4xx's: Alternate Name Forms (10)
Works
Title | Sources |
---|---|
3-D computer graphics : a mathematical introduction with OpenGL | |
Bounded arithmetic | |
Feasible Mathematics : A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 | |
Handbook of proof theory | |
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 | |
Proof complexity and feasible arithmetics |