@book{San:2022:1657236, author = {Erik Sandewall}, title = {{V\"arderingar, Liberalism och Islam}}, year = {2022}, publisher = {Link\"oping University Electronic Press}, isbn = {9789179293772, 9789179293949}, doi = {10.3384/9789179293772}, note = {\<strong\>Granskning:\</strong\>Boken \Ã\¤r granskad av en extern granskare.\Â\ }, } @book{ManNor:2020:1508094, author = {Linda Mannila and Lars-{\AA}ke Nord\'en}, title = {{Att undervisa textbaserad programmering i skolan}}, year = {2020}, publisher = {Studentlitteratur}, isbn = {9789144130644}, note = {Upplaga 1}, } @book{San:2015:922119, author = {Erik Sandewall}, title = {{Samtal om Sveriges nation}}, year = {2015}, publisher = {Volibri f\"orlag och IT}, isbn = {9789163792267}, } @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{WooHol:2006:259010, author = {David D. Woods and Erik Hollnagel}, title = {{Joint cognitive systems: Patterns in cognitive systems engineering}}, year = {2006}, publisher = {CRC/Taylor \& Francis}, isbn = {978-0-8493-3933-2, 0-8493-3933-2}, } @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}, }