Search Results for Semantics.

13 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Algebraic semantics of imperative programs

Yazar

Goguen, Joseph, author.

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

Format:

Electronic Resources

Alıntı:

Algebraic semantics of imperative programs / Goguen, Joseph, author.

The formal semantics of programming languages : an introduction

Yazar

Winskel, G., (Glynn) author.

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

Format:

Electronic Resources

Alıntı:

The formal semantics of programming languages : an introduction / Winskel, G., (Glynn) author.

The human semantic potential : spatial language and constrained connectionism

Yazar

Regier, Terry, author.

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

Format:

Electronic Resources

Alıntı:

The human semantic potential : spatial language and constrained connectionism / Regier, Terry

Neural network learning and expert systems

Yazar

Gallant, Stephen I., author.

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

Format:

Electronic Resources

Alıntı:

COMPUTERS -- Intelligence (AI) & Semantics.

The open work

Yazar

Eco, Umberto.

Format:

Kitap

Alıntı:

Semiotics.

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

University.Topics include: Stable Semantics. Autoepistemic Logic. Abduction. Implementation Issues. Well-founded

Basic category theory for computer scientists

Yazar

Pierce, Benjamin C., author.

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

Format:

Electronic Resources

Alıntı:

theoretical computer science, especially in programming language semantics, domain theory, and concurrency

Nonmonotonic reasoning

Yazar

Antoniou, G., (Grigoris) author.

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

Format:

Electronic Resources

Alıntı:

1. Introduction -- 2. Predicate Logic -- 3. Default Reasoning -- 4. Operational Semantics of

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

analysis of the semantic aspects of the method. It is through the inference rule of resolution that both

10.

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

Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of

11.

Lazy functional languages : abstract interpretation and compilation

Yazar

Burn, Geoffrey, author.

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

Format:

Electronic Resources

Alıntı:

Denotational Semantics of the Typed Lambda Calculus. A Framework for the Abstract Interpretation of Functional

12.

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

semantics of Prolog, in particular, of unification and backtracking, but a brief summary of the necessary

	{displayName}	{count}
{error}