Arama Sonuçları Logic programming -- Congresses. - Daraltılmış: Electronic ResourcesSirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dLogic$002bprogramming$002b--$002bCongresses.$0026qf$003dFORMAT$002509Format$002509ER$002509Electronic$002bResources$0026ic$003dtrue$0026ps$003d300?dt=list2024-09-11T16:22:53ZLogic programming : proceedings of the eleventh International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:145222024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar Van Hentenryck, Pascal.<br/>Abstract with links to resource <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/>Logic programming : proceedings of the 1999 International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:146812024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar De Schreye, Danny.<br/>Abstract with links to resource <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/>Logic programming : proceedings of the 1995 international symposiument://SD_ILS/0/SD_ILS:147662024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar Lloyd, John.<br/>Abstract with links to resource <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/>Logic programming : proceedings of the Fourteenth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:146872024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar International Conference on Logic Programming (14th : 1997 : Leuven, Belgium)<br/>Abstract with links to resource <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/>Logic programming and non-monotonic reasoning : proceedings of the first international workshopent://SD_ILS/0/SD_ILS:146892024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar Nerode, Anil, 1932-<br/>Abstract with links to resource <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/>Logic programming : proceedings of the 1997 International Symposiument://SD_ILS/0/SD_ILS:146862024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar Małuszyński, J. (Jan), 1941-<br/>Abstract with links to resource <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/>Logic programming : proceedings of the Tenth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:146942024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)<br/>Abstract with links to resource <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/>Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programmingent://SD_ILS/0/SD_ILS:146842024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar Maher, Michael, 1959-<br/>Abstract with links to resource <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/>Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995ent://SD_ILS/0/SD_ILS:146922024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar Sterling, Leon S., editor.<br/>Abstract with links to resource <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/>Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276872024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format: Electronic Resources<br/>Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276922024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367<br/><a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format: Electronic Resources<br/>Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4284152024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar Pesado, Patricia. editor. (orcid)0000-0003-0000-3482<br/><a href="https://doi.org/10.1007/978-3-030-20787-8">https://doi.org/10.1007/978-3-030-20787-8</a><br/>Format: Electronic Resources<br/>Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287562024-09-11T16:22:53Z2024-09-11T16:22:53ZYazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507<br/><a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format: Electronic Resources<br/>