Search Results for Logic. - Narrowed by: E-Book - 1994 SirsiDynix Enterprise https://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:26Z Logic and information flow ent://SD_ILS/0/SD_ILS:219894 2024-09-03T03:23:26Z 2024-09-03T03:23:26Z Author&#160;Eijck, J. van (Jan)&#160;Visser, Albert.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From logic to logic programming ent://SD_ILS/0/SD_ILS:220199 2024-09-03T03:23:26Z 2024-09-03T03:23:26Z Author&#160;Doets, Kees.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic programming proceedings of the eleventh International Conference on Logic Programming ent://SD_ILS/0/SD_ILS:220229 2024-09-03T03:23:26Z 2024-09-03T03:23:26Z Author&#160;Van Hentenryck, Pascal.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;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, 1991 ent://SD_ILS/0/SD_ILS:256555 2024-09-03T03:23:26Z 2024-09-03T03:23:26Z Author&#160;International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)&#160;Prawitz, Dag.&#160;Skyrms, Brian.&#160;Westerst&aring;hl, Dag, 1946-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444893413">http://www.sciencedirect.com/science/book/9780444893413</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Truth, fiction, and literature a philosophical perspective ent://SD_ILS/0/SD_ILS:232904 2024-09-03T03:23:26Z 2024-09-03T03:23:26Z Author&#160;Lamarque, Peter.&#160;Olsen, Stein Haugom, 1946-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A model of the universe space-time, probability, and decision ent://SD_ILS/0/SD_ILS:232401 2024-09-03T03:23:26Z 2024-09-03T03:23:26Z Author&#160;McCall, Storrs.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Classical recursion theory the theory of functions and sets of natural numbers ent://SD_ILS/0/SD_ILS:256597 2024-09-03T03:23:26Z 2024-09-03T03:23:26Z Author&#160;Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Selected papers on Automath ent://SD_ILS/0/SD_ILS:257090 2024-09-03T03:23:26Z 2024-09-03T03:23:26Z Author&#160;Nederpelt, R. P. (Rob P.)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898227">http://www.sciencedirect.com/science/book/9780444898227</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hausdorff gaps and limits ent://SD_ILS/0/SD_ILS:256960 2024-09-03T03:23:26Z 2024-09-03T03:23:26Z Author&#160;Frankiewicz, Ryszard.&#160;Zbierski, Pawe&#322;.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894908">http://www.sciencedirect.com/science/book/9780444894908</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The genealogy of disjunction ent://SD_ILS/0/SD_ILS:234712 2024-09-03T03:23:26Z 2024-09-03T03:23:26Z Author&#160;Jennings, R. E. (Raymond Earl)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Circuit complexity and neural networks ent://SD_ILS/0/SD_ILS:219892 2024-09-03T03:23:26Z 2024-09-03T03:23:26Z Author&#160;Parberry, Ian.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>