Carregando...

Código QR (código de barras bidimensional)

Prolog: from formal specification to prototype

Detalhes bibliográficos
Autor principal:	Leadbetter, Peter
Formato:	Printed Book
Idioma:	English
Publicado em:	London Blackwell scientific publications 1991
Assuntos:	Prolog(Computer program language) Data structures in Prolog

Registros relacionados

Programming in prolog
por: Clocksin, William F.
Publicado em: (2003)

Introduction to Turbo prolog /
por: Townsend, Carl
Publicado em: (1988)

Introduction to Turbo prolog
por: Townsend, Carl
Publicado em: (1988)

Programming in prolog /
por: Clocksin, W F .
Publicado em: (1981)

Illustrated turbo prolog
por: McAllister, Mick
Publicado em: (1989)

Illustrated Turbo prolog /
por: McAllister, Mick
Publicado em: (1989)

Introduction to Turbo Prolog
por: Townsend,Carl
Publicado em: (1988)

Turbo Prolog 2.0: user`s guide /
por: Turbo, .
Publicado em: (1988)

Logic and prolog programming /
por: Kaushik,Saroj
Publicado em: (2008)

Prolog multiprocessors /
por: Wise, Michael J .
Publicado em: (1986)

Prolog: a relational language and its applications /
por: Malpas, John .
Publicado em: (1987)

PROLOG :programming for artificial intelligence
por: Bratko, Ivan
Publicado em: (1990)

Programming in prolog
por: Clocksin, W F
Publicado em: (1989)

Prgramming in micro-prolog /
por: De Saram, Hugh .
Publicado em: (1988)

Introduction to turbo prolog /
por: Townsend, Carl .
Publicado em: (1988)

Turbo prolog features for programmers /
por: Nath, Sanjiva .
Publicado em: (1986)

Artificial intelligence through prolog /
por: Rowe, Neil C .
Publicado em: (1988)

Prolog programming for artificial intelligence /
por: Bratko, Ivan
Publicado em: (2001)

Prolog programming for artificial intelligence /
por: Bratko, Ivan, 1946-
Publicado em: (2012)

Micro-prolog: programming in logic /
por: Clark, K L
Publicado em: (1987)

Programming in prolog/3rd ed.
por: Clocksin, W. F.
Publicado em: (1989)

Prolog versus you: an introduction to logic programming
por: Edman, Anneli; Author, et al.
Publicado em: (1989)

LISP
por: Winston,Patrick Henry
Publicado em: (1989)

Intelligent image processing in prolog: with 131 figures /
por: Batchelor, Bruce G .
Publicado em: (1991)

Artificial intelligence : an engineering approach /
por: Schalkoff, Robert J.
Publicado em: (1990)

Programming Languages: Concepts and Constructs
por: Sethi, Ravi
Publicado em: (2007)

Programming Languages: Concepts and Constructs
por: Sethi, Ravi
Publicado em: (2009)

Artifical intelligence: structures and strategies for complex problem solving
por: Luger, George F
Publicado em: (1993)

Prolog programming for artificial intelligence
por: Bratko, Ivan
Publicado em: (2001)

Artificial intelligence: an engineering approach/
por: Schalkoff, Robert J
Publicado em: (1990)

Introduction to artificial intelligence
por: Ertel, Wolfgang
Publicado em: (2011)

Logic, algebra, and databases /
por: Gray, Peter M. D.
Publicado em: (1988)

Artificial intelligence : structures and strategies for complex problem solving /
por: Luger, George F.
Publicado em: (1993)

Artificial intelligence : structures and strategies for complex problem solving /
por: Luger, George F.
Publicado em: (2005)

Artificial intelligence/
por: Luger, George F.
Publicado em: (2005)

Artificial intelligence: structures and strategies for complex problem solving
por: Luger, George F
Publicado em: (2005)

Practical prolog
por: Young, Richard J
Publicado em: (1988)

Artificial intelligence : structures and strategies for complex problem solving /
por: Luger, George F.
Publicado em: (2005)

Programming in PROLOG
por: Suri, R P
Publicado em: (1995)

Programming in PROLOG
por: Clocksin, W F; Mellish, C S
Publicado em: (2002)