Search Results for Computer logic.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Warren's abstract machine : a tutorial reconstruction

Yazar

Aït-Kaci, Hassan, 1954-

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

Format:

Electronic Resources

Alıntı:

Prolog (Computer program language)

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.

Concurrent constraint programming

Yazar

Saraswat, Vijay, author.

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

Format:

Electronic Resources

Alıntı:

Constraint programming (Computer science)

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 and non-monotonic reasoning : proceedings of the first international workshop /

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 /

Knowledge representation

Yazar

Brachman, Ronald J., 1949-

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

Format:

Electronic Resources

Alıntı:

Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}