Paul W. Beame – författare

Visar alla böcker från författaren Paul W. Beame. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   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 …