J. Flum – författare
Visar alla böcker från författaren J. Flum. Handla med fri frakt och snabb leverans.
5 produkter
Mathematical Logic
Av Wolfgang Thomas, J. Flum m. fl.
E-bok, 2013
880 kr
Lägg i varukorg
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic …
Parameterized Complexity Theory
Inbunden, 2006
1355 kr
Lägg i varukorg
Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. The central notion of the theory, fixed-parameter tractability, has led to the development of various new algorithmic techniques and a …
Parameterized Complexity Theory
E-bok, 2006
1214 kr
Lägg i varukorg
Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. The central notion of the theory, fixed-parameter tractability, has led to the development of various new algorithmic techniques and a …
Parameterized Complexity Theory
Häftad, 2010
934 kr
Lägg i varukorg
Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. The central notion of the theory, fixed-parameter tractability, has led to the development of various new algorithmic techniques and a …
Mathematical Logic
Av H.-D. Ebbinghaus, J. Flum m. fl.
Inbunden, 1994
895 kr
Tillfälligt slut
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic …
