Michael Sołtys
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Boolean Programs and Quantified Propositional Proof Systems Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 3 / s. 119 - 129ROK: 1999CZYSTY TEKSTBIBTEX
-
Extended Frege and Gaussian Elimination Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 4 / s. 189 - 205ROK: 2002CZYSTY TEKSTBIBTEX
