Počet záznamů: 1

Proof Complexity and Feasible Arithmetic

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, SAI}
Zdroj.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