Automatic Theorem-Proving.
Czesław Lejewski, Zdzisław Pawlak · The Philosophical Quarterly · 1967
Book Reviews Get access Automatyczne dowodzenie twierdzeń (Automatic Theorem-Proving). By Zdzisław Pawlak. (Warszawa: PZWS 1965. Pp. 148. Price zł. 21). Czesław Lejewski Czesław Lejewski Search for other works by this author on: Oxford Academic Google Scholar The Philosophical Quarterly, Volume 17, Issue 69, October 1967, Pages 369–370, https://doi.org/10.2307/2217468 Published: 01 October 1967