Počet záznamů: 1

Proof Complexity and Feasible Arithmetic

SYSNO	0174516
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. s. 279-296 / Buss S.R.. - New York : AMS, 1998
Edice	DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Druh dok.	Část monografie, knihy (kapitola)
Jazyk dok.	eng
Země vyd.	US
Trvalý link	http://hdl.handle.net/11104/0071522

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak.pdf	1	279.5 KB		Autorský postprint	povolen

Počet záznamů: 1