Search Results for Logic. - Narrowed by: E-Book - Logic programming -- Congresses.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dSUBJECT$002509Subject$002509Logic$002bprogramming$002b--$002bCongresses.$002509Logic$002bprogramming$002b--$002bCongresses.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-03T09:37:55ZLogic programming proceedings of the Tenth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202832024-09-03T09:37:55Z2024-09-03T09:37:55ZAuthor International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the 1997 International Symposiument://SD_ILS/0/SD_ILS:2202732024-09-03T09:37:55Z2024-09-03T09:37:55ZAuthor Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the twelfth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202752024-09-03T09:37:55Z2024-09-03T09:37:55ZAuthor Sterling, Leon.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523</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-03T09:37:55Z2024-09-03T09:37:55ZAuthor 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 programming proceedings of the 1999 International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202712024-09-03T09:37:55Z2024-09-03T09:37:55ZAuthor International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the Fourteenth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2201632024-09-03T09:37:55Z2024-09-03T09:37:55ZAuthor International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programmingent://SD_ILS/0/SD_ILS:2202722024-09-03T09:37:55Z2024-09-03T09:37:55ZAuthor Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the 1995 international symposiument://SD_ILS/0/SD_ILS:2202782024-09-03T09:37:55Z2024-09-03T09:37:55ZAuthor Lloyd, J. W. (John Wylie)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming and non-monotonic reasoning proceedings of the second international workshopent://SD_ILS/0/SD_ILS:2202742024-09-03T09:37:55Z2024-09-03T09:37:55ZAuthor Pereira, Luís Moniz. Nerode, Anil, 1932-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>