Propositional proofs, proofs of membership in polynomial ideals, and their complexity

Počet záznamů: 1

SYSNO ASEP	0174443
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	J - Článek v odborném periodiku
Poddruh J	Ostatní články
Název	Propositional proofs, proofs of membership in polynomial ideals, and their complexity
Tvůrce(i)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Zdroj.dok.	Bulletin of the ASL Roč. 3, č. 1 (1997), s. 77-78
Akce	European meeting of the Association of Symbolic Logic, Logic Colloquium 95
Datum konání	09.08.1995-17.08.1995
Místo konání	Haifa
Země	IL - Izrael
Jazyk dok.	eng - angličtina
Země vyd.	IL - Izrael
CEP	IAA1019602 GA AV ČR - Akademie věd
Pracoviště	Matematický ústav
Kontakt	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Rok sběru	1998

Počet záznamů: 1