Search Results for Association for Logic Programming.

11 sonuç bulundu

Tümünü Seç

00000000000DEFAULTTR

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ı:

Association for 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ı:

Association for Logic Programming.

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 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ı:

Association for Logic Programming.

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 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 : 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

Towards Paraconsistent Engineering

Yazar

Akama, Seiki. editor.

http://dx.doi.org/10.1007/978-3-319-40418-9

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

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 : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / Sterling

10.

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

Yazar

Esposito, Floriana. editor. (orcid)0000-0002-1075-3239

https://doi.org/10.1007/978-3-319-70169-1

Format:

Electronic Resources

Alıntı:

Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings / Esposito, Floriana

11.

Answer Set Programming

Yazar

Lifschitz, Vladimir. author.

https://doi.org/10.1007/978-3-030-24658-7

Format:

Electronic Resources

Alıntı:

Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies

	{displayName}	{count}
{error}