Abbreviating Proofs Using Metamathematical Rules

Počet záznamů: 1

1.

SYSNO ASEP	0401860
Druh ASEP	C - Konferenční příspěvek (mezinárodní konf.)
Zařazení RIV	Záznam nebyl označen do RIV
Název	Abbreviating Proofs Using Metamathematical Rules
Tvůrce(i)	Hájek, Petr (UIVT-O)_{RID, SAI} Montagna, F. (IT) Pudlák, Pavel (MU-W)_{RID, SAI}
Zdroj.dok.	Arithmetic, Proof Theory and Computational Complexity / Clote P. ; Krajíček J.. - Oxford : Clarendon Press, 1993 - ISBN 978-0-19-853690-1
Rozsah stran	s. 197-221
Jazyk dok.	eng - angličtina
Země vyd.	GB - Velká Británie
Klíč. slova	arithmetics ; proof theory ; computational complexity
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	1920

Počet záznamů: 1