Search Results for Computer science. - Narrowed by: Logic.

Search Results for Computer science. - Narrowed by: Logic. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Logic.$002509Logic.$0026ps$003d300?dt=list 2026-03-20T07:28:27Z Inductive Certificate Synthesis for Control Design ent://SD_ILS/0/SD_ILS:680065 2026-03-20T07:28:27Z 2026-03-20T07:28:27Z by Ravanbakhsh, Hadi, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10792462">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10792462</a><br/>Format: Books<br/> Working material for the lectures of Gerhard Jager. ent://SD_ILS/0/SD_ILS:61710 2026-03-20T07:28:27Z 2026-03-20T07:28:27Z by Jager, Gerhard<br/>Format: Books<br/> Working material for the lectures of Stan S. Wainer. ent://SD_ILS/0/SD_ILS:61711 2026-03-20T07:28:27Z 2026-03-20T07:28:27Z by Wainer, Stan S.<br/>Format: Books<br/> A framework for defining logics ent://SD_ILS/0/SD_ILS:61883 2026-03-20T07:28:27Z 2026-03-20T07:28:27Z by Harper, Robert<br/>Format: Books<br/> On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic ent://SD_ILS/0/SD_ILS:481270 2026-03-20T07:28:27Z 2026-03-20T07:28:27Z by Trillas, Enric. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-56053-3">http://dx.doi.org/10.1007/978-3-319-56053-3</a><br/>Format: Electronic Resources<br/> Logic from Russell to Church. ent://SD_ILS/0/SD_ILS:1192601 2026-03-20T07:28:27Z 2026-03-20T07:28:27Z by Gabbay, Dov M., 1945-<br/>MacEwan University Access <a href="https://www.sciencedirect.com/science/handbooks/18745857/5">(Unlimited Concurrent Users)</a> from ScienceDirect ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516206">http://www.sciencedirect.com/science/book/9780444516206</a><br/>Format: Electronic Resources<br/> Handbook of the history of logic. Volume 2, Mediaeval and renaissance logic ent://SD_ILS/0/SD_ILS:1189658 2026-03-20T07:28:27Z 2026-03-20T07:28:27Z by Gabbay, Dov M., 1945-<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444516251">https://www.sciencedirect.com/science/book/9780444516251</a> ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=18745857&volume=2">https://www.sciencedirect.com/science/publication?issn=18745857&volume=2</a> ScienceDirect <a href="https://www.sciencedirect.com/science/handbooks/18745857/2">https://www.sciencedirect.com/science/handbooks/18745857/2</a><br/>Format: Electronic Resources<br/> Logic and the modalities in the twentieth century ent://SD_ILS/0/SD_ILS:1187487 2026-03-20T07:28:27Z 2026-03-20T07:28:27Z by Gabbay, Dov M., 1945-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516220">http://www.sciencedirect.com/science/book/9780444516220</a> ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=7">http://www.sciencedirect.com/science/publication?issn=18745857&volume=7</a><br/>Format: Electronic Resources<br/> Greek, Indian, and Arabic logic ent://SD_ILS/0/SD_ILS:1187351 2026-03-20T07:28:27Z 2026-03-20T07:28:27Z by Gabbay, Dov M., 1945-<br/><a href="http://www.sciencedirect.com/science/handbooks/18745857/1">to access electronic resource</a> ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504661">http://www.sciencedirect.com/science/book/9780444504661</a> ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=1">http://www.sciencedirect.com/science/publication?issn=18745857&volume=1</a><br/>Format: Electronic Resources<br/> Agenda relevance : a study in formal pragmatics ent://SD_ILS/0/SD_ILS:1187455 2026-03-20T07:28:27Z 2026-03-20T07:28:27Z by Gabbay, Dov M., 1945-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444513854">http://www.sciencedirect.com/science/book/9780444513854</a> ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=18745075&volume=1">http://www.sciencedirect.com/science/publication?issn=18745075&volume=1</a> ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/18745075/1">http://www.sciencedirect.com/science/bookseries/18745075/1</a><br/>Format: Electronic Resources<br/> The reach of abduction : insight and trial ent://SD_ILS/0/SD_ILS:1187505 2026-03-20T07:28:27Z 2026-03-20T07:28:27Z by Gabbay, Dov M., 1945-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444517913">http://www.sciencedirect.com/science/book/9780444517913</a> ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=18745075&volume=2">http://www.sciencedirect.com/science/publication?issn=18745075&volume=2</a><br/>Format: Electronic Resources<br/>