Kód: 19780825
Proof Complexity
Autor KRAJ EK JAN
Self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.
- Jazyk:
Angličtina - Väzba: Pevná
- Počet strán: 530
Nakladateľ: Cambridge University Press, 2019
- Viac informácií o knihe
Mohlo by sa vám tiež páčiť
-
Ex libris eroticis - Intégrale
33.88 € -
Song of the Forever Rains
9.91 € -25 % -
Alternativy (dějin) filosofie
13.04 € -20 % -
Anaxagorás
8.59 € -25 % -
Spánek a sny
10.92 € -11 % -
Clarinet Plus Band 3
18.40 € -16 % -
Sous un ciel étoilé
12.43 € -
Bird & Blend Tea Book
16.08 € -24 % -
Captives and Companions
15.98 € -29 % -
Atlas de Citología y Anatomía Patológica Ginecológica Clínica: Elementos de colposcopia
99.35 € -
Archie Giant Comics Hop
10.82 € -25 % -
Logical Foundations of Proof Complexity
81.84 € -
Exhibitionism
27.41 € -14 % -
Atomic and Molecular Physics
175.43 € -
Rhodesia Civil Service List 1902
13.04 € -1 % -
Jessica's First Prayer
7.27 € -6 % -
International Symposium on History of Machines and MechanismsProceedings HMM 2000
216.41 € -
Arithmetic, Proof Theory, and Computational Complexity
120.90 € -
Alistirmalarla Sarf
23.06 € -4 % -
Pedacio Dioscorides Anazarbeo, Annotado Por El Doctor Andres Laguna...
40.87 € -2 % -
European Yearbook of International Economic Law 2011
154.39 € -7 %
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Proof Complexity
Nákupom získate 464 bodov
Anotácia knihy
Self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.
Parametre knihy
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations
191.62 €
- Celý názov: Proof Complexity
- Autor: KRAJ EK JAN
- Jazyk: Angličtina
- Väzba: Pevná
- Počet strán: 530
- EAN: 9781108416849
- ISBN: 9781108416849
- ID: 19780825
- Nakladateľ: Cambridge University Press
- Hmotnosť: 908 g
- Rozmery: 166 × 242 × 33 mm
- Dátum vydania: 28. March 2019
Obľúbené z iného súdka
-
Introduction to Logic and to the Methodology of Deductive Sciences
12.03 € -
Proofs and Refutations
21.04 € -24 % -
Goedel's Proof
13.45 € -24 % -
Logic: A Very Short Introduction
10.11 € -24 % -
To Mock a Mockingbird: and Other Logic Puzzles
14.46 € -24 % -
Conceptual Mathematics
68.08 € -
Introduction to Mathematical Logic
21.64 € -25 % -
Contributions to the Founding of the Theory of Transfinite Numbers
12.84 € -
Categories for Types
91.25 € -
Limitless Mind
16.99 € -24 % -
Elements of Mathematics
23.77 € -2 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
9.30 € -24 % -
Set Theory
25.79 € -9 % -
Naive Set Theory
9.80 € -
Taking Sudoku Seriously
35 € -
Sets for Mathematics
68.08 € -
Lattice Theory: Foundation
80.22 € -
From Frege to Goedel
60.39 € -
Math Mammoth Grade 4 Review Workbook
15.17 € -24 % -
Lattice Theory: Special Topics and Applications
102.99 € -7 % -
Logic is Not Mathematical
20.23 € -2 % -
Computability and Logic
40.97 € -1 % -
Schaum's Outline of Boolean Algebra and Switching Circuits
24.47 € -17 % -
Model Theory : An Introduction
50.48 € -9 % -
Model Theory
25.08 € -25 % -
Foundations of Mathematics and Other Logical Essays
17.49 € -
First-order Logic
8.59 € -24 % -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
25.28 € -
Naive Set Theory
11.83 € -25 % -
Category Theory in Context
31.15 € -25 % -
Math Mammoth Grade 4-B Worktext
21.14 € -25 % -
Lambda-Calculus and Combinators
91.25 € -
Illustrated Book of Bad Arguments
12.74 € -24 % -
Can You Solve My Problems?
11.83 € -25 % -
Beginner's Guide to Mathematical Logic
18.20 € -25 % -
Foundations of Geometry
9.80 € -
Foundation Maths
71.52 € -
Topoi
21.64 € -25 % -
Categories for the Working Mathematician
56.55 € -9 % -
Logician and the Engineer
24.07 € -5 % -
Undecidable Theories
11.32 € -24 % -
Beginner's Further Guide To Mathematical Logic, A
25.28 € -
Haskell Road to Logic, Maths and Programming
25.18 € -10 % -
Set Theory and the Continuum Hypothesis
11.32 € -24 % -
Gödel's Incompleteness Theorems
55.54 € -9 % -
Mathematical Logic
70.61 € -9 % -
Interactive Theorem Proving and Program Development
85.69 € -9 % -
Algebraic Logic
15.27 € -
Handbook of Epistemic Logic
29.84 € -10 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12744 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)