Stephen Cook
1 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 - 1291999CZYSTY TEKST
Stephen Cook, Michael Sołtys, Boolean Programs and Quantified Propositional Proof Systems, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 3, s. 119 - 129
BIBTEX@Article{ authors = " Stephen Cook, Michael Sołtys", title = "Boolean Programs and Quantified Propositional Proof Systems", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 3", pages = "119 - 129" }