Larry Wos
4 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Axiomatic proofs through automated reasoning Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 3 / s. 125 - 136ROK: 2000CZYSTY TEKSTBIBTEX
-
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 3 / s. 131 - 136ROK: 2003CZYSTY TEKSTBIBTEX
-
Hilbert's New Problem Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 3 / s. 165 - 175ROK: 2001CZYSTY TEKSTBIBTEX
-
A Concise Axiomatization of RM-> Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 4 / s. 191 - 195ROK: 2001CZYSTY TEKSTBIBTEX
