@book{GabSchSza:2008:265478, author = {Dov M. Gabbay and Renate A. Schmidt and Andrzej Szalas}, title = {{Second-Order Quantifier Elimination. Foundations, Computational Aspects and Applications}}, year = {2008}, series = {Studies in Logics}, volume = {12}, publisher = {College Publications}, isbn = {978-1-904987-56-7, 1-904-98-756-7}, } @book{DohLukEtAl:2006:252617, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas}, title = {{Knowledge Representation Techniques.: a rough set approach}}, year = {2006}, series = {Studies in Fuzziness and Soft Computing}, volume = {202}, publisher = {Springer}, isbn = {978-3-540-33518-4, 3-540-33518-8}, issn = {1434-9922}, doi = {10.1007/3-540-33519-6}, } @book{BolDziEtAl:1998:499769, author = {Leonard Bolc and Krzysztof Dziewicki and Piotr Rychlik and Andrzej Szalas}, title = {{Wnioskowanie w logikach nieklasycznych: Automatyzacja wnioskowania}}, year = {1998}, publisher = {Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ)}, isbn = {83-7101-403-1, 978-83-7101-403-1}, } @book{BolDziEtAl:1995:499768, author = {Leonard Bolc and Krzysztof Dziewicki and Piotr Rychlik and Andrzej Szalas}, title = {{Wnioskowanie w logikach nieklasycznych: Podstawy teoretyczne}}, year = {1995}, publisher = {Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ)}, isbn = {9788371012884}, } @book{Sza:1992:499715, author = {Andrzej Szalas}, title = {{Zarys dedukcyjnych metod automatycznego wnioskowania}}, year = {1992}, publisher = {Academic Pub. RM (Akademicka Oficyna Wydawnicza RM)}, isbn = {83-9004-517-6, 978-83-9004-517-7}, } @book{SzaWar:1991:499716, author = {Andrzej Szalas and Jolanta Warpechowska}, title = {{Loglan}}, year = {1991}, publisher = {Wydawnictwa Naukowo-Techniczne WNT}, isbn = {83-2041-295-1, 978-83-2041-295-6}, note = {In Polish; Volume 78, Biblioteka Inżynierii Oprogramowania}, }