Yazar
Van Hentenryck, Pascal.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format:
Electronic Resources
Alıntı:
Logic programming : proceedings of the eleventh International Conference on Logic Programming / Van
Yazar
De Schreye, Danny.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format:
Electronic Resources
Alıntı:
Logic programming : proceedings of the 1999 International Conference on Logic Programming / De
View Other Search Results
Yazar
Lloyd, John.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853
Format:
Electronic Resources
Alıntı:
Logic programming -- Congresses.
Yazar
International Conference on Logic Programming (14th : 1997 : Leuven, Belgium)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format:
Electronic Resources
Alıntı:
Logic programming : proceedings of the Fourteenth International Conference on Logic Programming /
Yazar
Nerode, Anil, 1932-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format:
Electronic Resources
Alıntı:
Logic programming -- Congresses.
Yazar
Małuszyński, J. (Jan), 1941-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format:
Electronic Resources
Alıntı:
Logic programming -- Congresses.
Yazar
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format:
Electronic Resources
Alıntı:
Logic programming : proceedings of the Tenth International Conference on Logic Programming /
Yazar
Maher, Michael, 1959-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format:
Electronic Resources
Alıntı:
Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic
Yazar
Sterling, Leon S., editor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format:
Electronic Resources
Alıntı:
Logic programming -- Congresses.
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress
Yazar
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
Format:
Electronic Resources
Alıntı:
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11
Yazar
Pesado, Patricia. editor. (orcid)0000-0003-0000-3482
Format:
Electronic Resources
Alıntı:
Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018
Arama Sonuçlarını Sınırlandır