Imagen de Portada

Foundations of logic programming /

Guardado en:

Autor Principal:	Lloyd, J. W. 1947-
Formato:	Libro
Idioma:	English
Publicado:	Berlin ; New York : Springer-Verlag, c1987.
Edición:	2nd, extended ed.
Series:	Symbolic computation. Artificial intelligence
Materias:	Logic programming. Programming languages (Electronic computers) > Semantics.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Foundations of logic programming /
por: Lloyd, J. W. 1947-
Publicado: (1984) - 2nd, extended ed.

Logic programming : operational semantics and proof theory /
por: Andrews, James H.
Publicado: (1992) - 2nd, extended ed.

Semantics of sequential and parallel programs /
por: Best, Eike, 1951-
Publicado: (1996) - 2nd, extended ed.

Semantics of programming languages /
por: Tennent, R. D., 1944-
Publicado: (1991) - 2nd, extended ed.

Semantics of programming languages : structures and techniques /
por: Gunter, Carl A.
Publicado: (1992) - 2nd, extended ed.

The formal semantics of programming languages : an introduction /
por: Winskel, G.
Publicado: (1993) - 2nd, extended ed.

Introduction to the theory of programming languages /
por: Meyer, Bertrand, 1950-
Publicado: (1990) - 2nd, extended ed.

Formal specification of programming languages : a panoramic primer /
por: Pagan, Frank G.
Publicado: (1981) - 2nd, extended ed.

Logics of specification languages /
Publicado: (2008) - 2nd, extended ed.

Semantics with applications : a formal introduction /
por: Nielson, Hanne Riis, 1954-
Publicado: (1992) - 2nd, extended ed.

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /
Publicado: (2002) - 2nd, extended ed.

A theory of programming language semantics /
por: Milne, Robert, 1948-
Publicado: (1976) - 2nd, extended ed.

Natural language understanding /
por: Allen, James, 1950-
Publicado: (1987) - 2nd, extended ed.

Foundations for programming languages /
por: Mitchell, John C.
Publicado: (1996) - 2nd, extended ed.

Complementary definitions of programming language semantics /
por: Donahue, James Edward, 1947-
Publicado: (1976) - 2nd, extended ed.

Foundations of programming languages : design and implementation /
por: Roosta, Seyed H.
Publicado: (2003) - 2nd, extended ed.

From logic programming to Prolog /
por: Apt, Krzysztof R., 1949-
Publicado: (1997) - 2nd, extended ed.

Logic, programming, and Prolog /
por: Nilsson, Ulf, 1961-
Publicado: (1995) - 2nd, extended ed.

Logic, programming, and Prolog /
por: Nilsson, Ulf, 1961-
Publicado: (1990) - 2nd, extended ed.

An introduction to logic programming through Prolog /
por: Spivey, J. M.
Publicado: (1996) - 2nd, extended ed.

Denotational semantics : the Scott-Strachey approach to programming language theory /
por: Stoy, Joseph.
Publicado: (1977) - 2nd, extended ed.

Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings /
Publicado: (1999) - 2nd, extended ed.

Computing with logic : logic programming with Prolog /
por: Maier, David, 1953-
Publicado: (1988) - 2nd, extended ed.

Algebraic approaches to program semantics /
por: Manes, Ernest G., 1943-
Publicado: (1986) - 2nd, extended ed.

Domain-theoretic foundations of functional programming /
por: Streicher, Thomas, 1958-
Publicado: (2006) - 2nd, extended ed.

Logic programming languages : constraints, functions, and objects /
Publicado: (1993) - 2nd, extended ed.

The Gödel programming language /
por: Hill, Patricia, 1942-
Publicado: (1994) - 2nd, extended ed.

From logic to logic programming /
por: Doets, Kees.
Publicado: (1994) - 2nd, extended ed.

From logic to logic programming /
por: Doets, Kees.
Publicado: (1994) - 2nd, extended ed.

Programming languages : design and implementation /
por: Pratt, Terrence W.
Publicado: (1996) - 2nd, extended ed.

Programming languages : design and implementation /
por: Pratt, Terrence W.
Publicado: (2001) - 2nd, extended ed.

Programming languages : design and implementation /
por: Pratt, Terrence W.
Publicado: (1984) - 2nd, extended ed.

The semantic foundations of logic /
por: Epstein, Richard L., 1947-
Publicado: (1995) - 2nd, extended ed.

Concepts of programming languages /
por: Sebesta, Robert W.
Publicado: (1999) - 2nd, extended ed.

Concepts of programming languages /
por: Sebesta, Robert W.
Publicado: (1996) - 2nd, extended ed.

Concepts of programming languages /
por: Sebesta, Robert W.
Publicado: (2003) - 2nd, extended ed.

Concepts of programming languages /
por: Sebesta, Robert W.
Publicado: (2006) - 2nd, extended ed.

Programming languages: design and implementation /
por: Pratt, Terrence W.
Publicado: (1975) - 2nd, extended ed.

Constraint logic programming : selected research /
Publicado: (1993) - 2nd, extended ed.

Programming languages /
por: Tucker, Allen B.
Publicado: (1986) - 2nd, extended ed.