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

Počet záznamů: 1

SYSNO	0174443
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
Konference	European meeting of the Association of Symbolic Logic, Logic Colloquium 95, Haifa, 09.08.1995-17.08.1995
Druh dok.	Článek v odborném periodiku
Grant	IAA1019602 GA AV ČR - Akademie věd
Jazyk dok.	eng
Země vyd.	IL
Trvalý link	http://hdl.handle.net/11104/0071451

Počet záznamů: 1