Arama Sonu&ccedil;ları Logic programming -- Congresses. - Daraltılmış: Electronic Resources SirsiDynix Enterprise https://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=list 2024-09-11T16:22:53Z Logic programming : proceedings of the eleventh International Conference on Logic Programming ent://SD_ILS/0/SD_ILS:14522 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Logic programming : proceedings of the 1999 International Conference on Logic Programming ent://SD_ILS/0/SD_ILS:14681 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Logic programming : proceedings of the 1995 international symposium ent://SD_ILS/0/SD_ILS:14766 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Logic programming : proceedings of the Fourteenth International Conference on Logic Programming ent://SD_ILS/0/SD_ILS:14687 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Logic programming and non-monotonic reasoning : proceedings of the first international workshop ent://SD_ILS/0/SD_ILS:14689 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Logic programming : proceedings of the 1997 International Symposium ent://SD_ILS/0/SD_ILS:14686 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Logic programming : proceedings of the Tenth International Conference on Logic Programming ent://SD_ILS/0/SD_ILS:14694 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming ent://SD_ILS/0/SD_ILS:14684 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 ent://SD_ILS/0/SD_ILS:14692 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;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&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427687 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Formal Methods &ndash; The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427692 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Computer Science &ndash; CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8&ndash;12, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428415 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:428756 2024-09-11T16:22:53Z 2024-09-11T16:22:53Z Yazar&#160;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:&#160;Electronic Resources<br/>