Počet záznamů: 1
A proof complexity generator
- 1.
SYSNO 0353760 Název A proof complexity generator Tvůrce(i) Krajíček, Jan (MU-W) SAI, ORCID Zdroj.dok. Logic, Methodology and Philosophy of Science. S. 185-190. - London : College Publications, 2009 / Glymour C. ; Wang W. ; Westerstahl D. Konference International Congress in Logic, Methodology and Philosophy of Science /13./, Beijing, 09.08.2007-15.08.2007 Druh dok. Konferenční příspěvek (zahraniční konf.) Grant IAA1019401 GA AV ČR - Akademie věd LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy Jazyk dok. eng Země vyd. GB Klíč.slova proof complexity * hard tatologies Trvalý link http://hdl.handle.net/11104/0192913 Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 1 98.2 KB Autorský postprint povolen
Počet záznamů: 1