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
-
Anaxagorás
220 Kč -
Song of the Forever Rains
198 Kč -
Alternativy (dějin) filosofie
273 Kč -
Ex libris eroticis - Intégrale
795 Kč -
Spánek a sny
240 Kč -
Clarinet Plus Band 3
419 Kč -
Sous un ciel étoilé
297 Kč -
Captives and Companions
394 Kč -
Bird & Blend Tea Book
361 Kč -
Republic
569 Kč -
Logical Foundations of Proof Complexity
1980 Kč -
Gender Equality in Politics
1995 Kč -
Atlas de Citología y Anatomía Patológica Ginecológica Clínica: Elementos de colposcopia
2180 Kč -
Archie Giant Comics Hop
244 Kč -
OEsterreich lieben lernen
178 Kč -
Exhibitionism
617 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č -
Alistirmalarla Sarf
529 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
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
-
Math Mammoth Grade 1-A Worktext
424 Kč -
Math Mammoth Grade 2-A Worktext
449 Kč -
Can You Solve My Problems?
248 Kč -
Proofs and Refutations
475 Kč -
Set Theory and the Continuum Hypothesis
256 Kč -
Alan Turing's Systems of Logic
358 Kč -
Goedel's Proof
303 Kč -
Logic: A Very Short Introduction
252 Kč -
Category Theory in Context
568 Kč -
Illustrated Book of Bad Arguments
304 Kč -
Foundation Maths
1651 Kč -
Set Theory and Logic
402 Kč -
Introduction to Logic
274 Kč -
Set Theory
4977 Kč -
Philosophical Applications of Modal Logic
847 Kč -
Set Theory, Logic and their Limitations
1475 Kč -
Goedel's Proof
1612 Kč -
How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition
2088 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
338 Kč -
Introduction to Logic and to the Methodology of Deductive Sciences
279 Kč -
Model Theory
567 Kč -
First-order Logic
194 Kč -
Beginner's Guide to Mathematical Logic
467 Kč -
Conceptual Mathematics
1565 Kč -
Foundations of Mathematics and Other Logical Essays
405 Kč -
Introduction to Mathematical Logic
489 Kč -
Math Mammoth Grade 4-B Worktext
478 Kč -
Contributions to the Founding of the Theory of Transfinite Numbers
297 Kč -
Lambda-Calculus and Combinators
2101 Kč -
Categories for Types
2097 Kč -
Limitless Mind
414 Kč -
Naive Set Theory
248 Kč -
Foundations of Geometry
228 Kč -
Topoi
489 Kč -
Naive Set Theory
228 Kč -
Categories for the Working Mathematician
1367 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
584 Kč -
Set Theory
589 Kč -
Taking Sudoku Seriously
810 Kč -
Undecidable Theories
256 Kč -
Beginner's Further Guide To Mathematical Logic, A
584 Kč -
Sets for Mathematics
1565 Kč -
Naive Set Theory
239 Kč -
Algebraic Logic
338 Kč -
Haskell Road to Logic, Maths and Programming
576 Kč -
Gödel's Incompleteness Theorems
1344 Kč -
Interactive Theorem Proving and Program Development
2073 Kč -
From Frege to Goedel
1314 Kč -
Lattice Theory: Foundation
2274 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 48078 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)