Search Results for Logic.

46 sonuç bulundu

Tümünü Seç

1 2 3 4

000000000000DEFAULTTR

Dynamic logic

Yazar

Harel, David, 1950-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400

Format:

Electronic Resources

Alıntı:

Dynamic logic / Harel, David, 1950-

Logic in games

Yazar

Benthem, Johan van, 1949-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151

Format:

Electronic Resources

Alıntı:

Logic in games / Benthem, Johan van, 1949-

Logic and information flow

Yazar

Eijck, J. van (Jan)

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445

Format:

Electronic Resources

Alıntı:

Logic and information flow / Eijck, J. van (Jan)

Logic programming languages : constraints, functions, and objects

Yazar

Rutten, J. J. M. M.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211

Format:

Electronic Resources

Alıntı:

Logic programming languages : constraints, functions, and objects / Rutten, J. J. M. M.

From logic to logic programming

Yazar

Doets, Kees, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470

Format:

Electronic Resources

Alıntı:

From logic to logic programming / Doets, Kees, author.

The logic of knowledge bases

Yazar

Levesque, Hector J., 1951-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409

Format:

Electronic Resources

Alıntı:

The logic of knowledge bases / Levesque, Hector J., 1951-

A grammatical view of logic programming

Yazar

Deransart, Pierre, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491

Format:

Electronic Resources

Alıntı:

A grammatical view of logic programming / Deransart, Pierre, author.

Logic testing and design for testability

Yazar

Fujiwara, Hideo, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264

Format:

Electronic Resources

Alıntı:

Logic testing and design for testability / Fujiwara, Hideo, author.

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 : proceedings of the 1995 international symposium / Lloyd, John.

10.

Inductive logic programming : from machine learning to software engineering

Yazar

Bergadano, Francesco, 1963-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819

Format:

Electronic Resources

Alıntı:

Inductive logic programming : from machine learning to software engineering / Bergadano, Francesco

11.

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 : proceedings of the 1997 International Symposium / Małuszyński, J. (Jan), 1941-

12.

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 /

Tümünü Seç

1 2 3 4

46 sonuç bulundu

	{displayName}	{count}
{error}