PROOF COMPLEXITY

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F19%3A10401461" target="_blank" >RIV/00216208:11320/19:10401461 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

PROOF COMPLEXITY

Popis výsledku v původním jazyce

This book is a publication of Cambridge University Press as an item from the series Encyclopedia of Mathematics and its Applications&quot;, and it is really an encyclopedia of propositional proof complexity. Propositional proof complexity (or, simply, proof complexity) is one of the research areas tightly connecting mathematical logic and computational complexity theory.

Název v anglickém jazyce

PROOF COMPLEXITY

Popis výsledku anglicky

This book is a publication of Cambridge University Press as an item from the series Encyclopedia of Mathematics and its Applications&quot;, and it is really an encyclopedia of propositional proof complexity. Propositional proof complexity (or, simply, proof complexity) is one of the research areas tightly connecting mathematical logic and computational complexity theory.

Druh

B - Odborná kniha

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

978-1-108-41684-9

Počet stran knihy

530

Název nakladatele

Cambridge University Press

Místo vydání

Velká Británie

Kód UT WoS knihy

—