Bokus

Samuel R. Buss – författare

Visar alla böcker från författaren Samuel R. Buss. Handla med fri frakt och snabb leverans.

4 produkter

  1. Samuel R. Buss, S. R. Buss, S.R. Buss - Handbook of Proof Theory, Inbunden. Tillgänglighet: Lägg i varukorg

    Handbook of Proof Theory

    Av Samuel R. Buss, S. R. Buss m. fl.

    Inbunden, 1998

    1739 kr

    Lägg i varukorg

    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 proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer …

  2. Samuel R. Buss - 3D Computer Graphics, Inbunden. Tillgänglighet: Lägg i varukorg

    3D Computer Graphics

    A Mathematical Introduction with OpenGL

    Av Samuel R. Buss

    Inbunden, 2003

    1432 kr

    Lägg i varukorg

    This textbook, first published in 2003, emphasises the fundamentals and the mathematics underlying computer graphics. The minimal prerequisites, a basic knowledge of calculus and vectors plus some programming experience in C or C++, make the book suitable for self study or for use as an advanced …

  3. Paul W. Beame, Samuel R. Buss - Proof Complexity and Feasible Arithmetics, Inbunden. Tillgänglighet: Lägg i varukorg

    Proof Complexity and Feasible Arithmetics

    Av Paul W. Beame, Samuel R. Buss

    Inbunden, 1997

    1017 kr

    Lägg i varukorg

    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 …

  4. Pavel Pudlak, Petr Hajek, Samuel R. Buss - Logic Colloquium '98, E-bok. Tillgänglighet: Lägg i varukorg

    Logic Colloquium '98

    Av Pavel Pudlak, Petr Hajek m. fl.

    E-bok

    1548 kr

    Lägg i varukorg

    Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the thirteenth publication in the …