Search Results for Logic. - Narrowed by: E-Book - 1994SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025091994$0025091994$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-03T03:23:26ZLogic and information flowent://SD_ILS/0/SD_ILS:2198942024-09-03T03:23:26Z2024-09-03T03:23:26ZAuthor Eijck, J. van (Jan) Visser, Albert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From logic to logic programmingent://SD_ILS/0/SD_ILS:2201992024-09-03T03:23:26Z2024-09-03T03:23:26ZAuthor Doets, Kees.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the eleventh International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202292024-09-03T03:23:26Z2024-09-03T03:23:26ZAuthor Van Hentenryck, Pascal.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991ent://SD_ILS/0/SD_ILS:2565552024-09-03T03:23:26Z2024-09-03T03:23:26ZAuthor International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444893413">http://www.sciencedirect.com/science/book/9780444893413</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Truth, fiction, and literature a philosophical perspectiveent://SD_ILS/0/SD_ILS:2329042024-09-03T03:23:26Z2024-09-03T03:23:26ZAuthor Lamarque, Peter. Olsen, Stein Haugom, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198236818.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198236818.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A model of the universe space-time, probability, and decisionent://SD_ILS/0/SD_ILS:2324012024-09-03T03:23:26Z2024-09-03T03:23:26ZAuthor McCall, Storrs.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198236221.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198236221.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2565972024-09-03T03:23:26Z2024-09-03T03:23:26ZAuthor Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Selected papers on Automathent://SD_ILS/0/SD_ILS:2570902024-09-03T03:23:26Z2024-09-03T03:23:26ZAuthor Nederpelt, R. P. (Rob P.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898227">http://www.sciencedirect.com/science/book/9780444898227</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hausdorff gaps and limitsent://SD_ILS/0/SD_ILS:2569602024-09-03T03:23:26Z2024-09-03T03:23:26ZAuthor Frankiewicz, Ryszard. Zbierski, Paweł.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894908">http://www.sciencedirect.com/science/book/9780444894908</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The genealogy of disjunctionent://SD_ILS/0/SD_ILS:2347122024-09-03T03:23:26Z2024-09-03T03:23:26ZAuthor Jennings, R. E. (Raymond Earl)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195075243.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195075243.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Circuit complexity and neural networksent://SD_ILS/0/SD_ILS:2198922024-09-03T03:23:26Z2024-09-03T03:23:26ZAuthor Parberry, Ian.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267424">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267424</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>