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 - Vazba: Pevná
- Počet stran: 530
Nakladatelství: Cambridge University Press, 2019
- Více informací o knize
Mohlo by se vám také líbit
-
Alternativy (dějin) filosofie
270 Kč -
Ex libris eroticis - Intégrale
712 Kč -
Song of the Forever Rains
200 Kč -
Anaxagorás
206 Kč -
Spánek a sny
237 Kč -
Clarinet Plus Band 3
419 Kč -
Sous un ciel étoilé
300 Kč -
Bird & Blend Tea Book
362 Kč -
Captives and Companions
358 Kč -
Logical Foundations of Proof Complexity
1980 Kč -
Atlas de Citología y Anatomía Patológica Ginecológica Clínica: Elementos de colposcopia
2403 Kč -
Archie Giant Comics Hop
244 Kč -
Exhibitionism
657 Kč -
Atomic and Molecular Physics
4245 Kč -
Rhodesia Civil Service List 1902
315 Kč -
Jessica's First Prayer
175 Kč -
International Symposium on History of Machines and MechanismsProceedings HMM 2000
5236 Kč -
Arithmetic, Proof Theory, and Computational Complexity
2924 Kč -
Alistirmalarla Sarf
529 Kč -
Pedacio Dioscorides Anazarbeo, Annotado Por El Doctor Andres Laguna...
990 Kč -
European Yearbook of International Economic Law 2011
3532 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Proof Complexity
Nákupem získáte 440 bodů
Anotace knihy
Self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
4403 Kč
- Plný název: Proof Complexity
- Autor: KRAJ EK JAN
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 530
- EAN: 9781108416849
- ISBN: 9781108416849
- ID: 19780825
- Nakladatelství: Cambridge University Press
- Hmotnost: 908 g
- Rozměry: 166 × 242 × 33 mm
- Datum vydání: 28. March 2019
Oblíbené z jiného soudku
-
Introduction to Logic and to the Methodology of Deductive Sciences
279 Kč -
Beginner's Guide to Mathematical Logic
441 Kč -
Teaching Multiplication Using LEGO(R) Bricks
450 Kč -
Naive Set Theory
239 Kč -
Goedel's Proof
303 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
326 Kč -
Logic: A Very Short Introduction
230 Kč -
Proofs and Refutations
475 Kč -
Conceptual Mathematics
1565 Kč -
Introduction to Mathematical Logic
489 Kč -
Contributions to the Founding of the Theory of Transfinite Numbers
303 Kč -
Categories for Types
2097 Kč -
Limitless Mind
409 Kč -
Elements of Mathematics
547 Kč -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
430 Kč -
Set Theory
589 Kč -
Naive Set Theory
228 Kč -
Taking Sudoku Seriously
906 Kč -
Sets for Mathematics
1565 Kč -
Lattice Theory: Foundation
2102 Kč -
From Frege to Goedel
1374 Kč -
Lattice Theory: Special Topics and Applications
2357 Kč -
Schaum's Outline of Boolean Algebra and Switching Circuits
592 Kč -
Model Theory : An Introduction
1154 Kč -
Model Theory
567 Kč -
Foundations of Mathematics and Other Logical Essays
405 Kč -
First-order Logic
194 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
584 Kč -
Naive Set Theory
267 Kč -
Category Theory in Context
568 Kč -
Math Mammoth Grade 4-B Worktext
484 Kč -
Lambda-Calculus and Combinators
2101 Kč -
Illustrated Book of Bad Arguments
287 Kč -
Can You Solve My Problems?
248 Kč -
Foundations of Geometry
228 Kč -
Foundation Maths
1651 Kč -
Topoi
489 Kč -
Categories for the Working Mathematician
1291 Kč -
Logician and the Engineer
520 Kč -
Undecidable Theories
256 Kč -
Beginner's Further Guide To Mathematical Logic, A
584 Kč -
Set Theory and the Continuum Hypothesis
256 Kč -
Haskell Road to Logic, Maths and Programming
576 Kč -
Gödel's Incompleteness Theorems
1269 Kč -
Mathematical Logic
1614 Kč -
Interactive Theorem Proving and Program Development
1958 Kč -
Algebraic Logic
274 Kč -
Handbook of Epistemic Logic
682 Kč -
Introduction to Modern Set Theory
262 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46811 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)