Počet záznamů: 1
Proof Complexity and Feasible Arithmetic
- 1.0174516 - MU-W 980024 RIV US eng M - Část monografie knihy
Pudlák, Pavel - Sgall, Jiří
Algebraic models of computation and interpolation for algebraic proof systems.
Proof Complexity and Feasible Arithmetic. New York: AMS, 1998 - (Buss, S.), s. 279-296. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 39
Kód oboru RIV: BA - Obecná matematika
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