Search Results for Logic programming -- Congresses.

13 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Logic programming : proceedings of the eleventh International Conference on Logic Programming

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

Logic programming : proceedings of the 1999 International Conference on Logic Programming

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

Logic programming : proceedings of the 1995 international symposium

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.

Logic programming : proceedings of the Fourteenth International Conference on Logic Programming

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 /

Logic programming and non-monotonic reasoning : proceedings of the first international workshop

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.

Logic programming : proceedings of the 1997 International Symposium

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.

Logic programming : proceedings of the Tenth International Conference on Logic Programming

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 /

Logic programming : proceedings of the 1996 Joint International Conference and Symposium 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

Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995

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.

10.

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, Proceedings

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

https://doi.org/10.1007/978-3-030-31157-5

Format:

Electronic Resources

Alıntı:

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress

11.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

https://doi.org/10.1007/978-3-030-30942-8

Format:

Electronic Resources

Alıntı:

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11

12.

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

Yazar

Pesado, Patricia. editor. (orcid)0000-0003-0000-3482

https://doi.org/10.1007/978-3-030-20787-8

Format:

Electronic Resources

Alıntı:

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018

	{displayName}	{count}
{error}