A proof complexity generator

Krajíček Jan



Název
A proof complexity generator
Autor
lupa Krajíček Jan MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa Logic, Methodology and Philosophy of Science. S. 185-190. - London : College Publications, 2009 / Glymour C. ; Wang W. ; Westerstahl D.
Vyd.údaje
6 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
GB
Klíč.slova
proof complexity * hard tatologies
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0192913