Počet záznamů: 1
Proof Complexity and Feasible Arithmetic
- 1.
SYSNO ASEP 0174516 Druh ASEP M - Kapitola v monografii Zařazení RIV C - Kapitola v knize Název Algebraic models of computation and interpolation for algebraic proof systems Tvůrce(i) Pudlák, Pavel (MU-W) RID, SAI
Sgall, Jiří (MU-W) RID, ORCID, SAIZdroj.dok. Proof Complexity and Feasible Arithmetic / Buss S.R.. - New York : AMS, 1998 Rozsah stran s. 279-296 Poč.str. 296 s. Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Vědní obor RIV BA - Obecná matematika BA - Obecná matematika Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 1999
Počet záznamů: 1