Carregant...

Codi QR

Prolog: from formal specification to prototype

Dades bibliogràfiques
Autor principal:	Leadbetter, Peter
Format:	Printed Book
Idioma:	English
Publicat:	London Blackwell scientific publications 1991
Matèries:	Prolog(Computer program language) Data structures in Prolog

Ítems similars

Programming in prolog
per: Clocksin, William F.
Publicat: (2003)

Introduction to Turbo prolog /
per: Townsend, Carl
Publicat: (1988)

Introduction to Turbo prolog
per: Townsend, Carl
Publicat: (1988)

Programming in prolog /
per: Clocksin, W F .
Publicat: (1981)

Illustrated turbo prolog
per: McAllister, Mick
Publicat: (1989)

Illustrated Turbo prolog /
per: McAllister, Mick
Publicat: (1989)

Introduction to Turbo Prolog
per: Townsend,Carl
Publicat: (1988)

Turbo Prolog 2.0: user`s guide /
per: Turbo, .
Publicat: (1988)

Logic and prolog programming /
per: Kaushik,Saroj
Publicat: (2008)

Prolog multiprocessors /
per: Wise, Michael J .
Publicat: (1986)

Prolog: a relational language and its applications /
per: Malpas, John .
Publicat: (1987)

PROLOG :programming for artificial intelligence
per: Bratko, Ivan
Publicat: (1990)

Programming in prolog
per: Clocksin, W F
Publicat: (1989)

Prgramming in micro-prolog /
per: De Saram, Hugh .
Publicat: (1988)

Introduction to turbo prolog /
per: Townsend, Carl .
Publicat: (1988)

Turbo prolog features for programmers /
per: Nath, Sanjiva .
Publicat: (1986)

Artificial intelligence through prolog /
per: Rowe, Neil C .
Publicat: (1988)

Prolog programming for artificial intelligence /
per: Bratko, Ivan
Publicat: (2001)

Prolog programming for artificial intelligence /
per: Bratko, Ivan, 1946-
Publicat: (2012)

Micro-prolog: programming in logic /
per: Clark, K L
Publicat: (1987)

Programming in prolog/3rd ed.
per: Clocksin, W. F.
Publicat: (1989)

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

LISP
per: Winston,Patrick Henry
Publicat: (1989)

Intelligent image processing in prolog: with 131 figures /
per: Batchelor, Bruce G .
Publicat: (1991)

Artificial intelligence : an engineering approach /
per: Schalkoff, Robert J.
Publicat: (1990)

Programming Languages: Concepts and Constructs
per: Sethi, Ravi
Publicat: (2007)

Programming Languages: Concepts and Constructs
per: Sethi, Ravi
Publicat: (2009)

Artifical intelligence: structures and strategies for complex problem solving
per: Luger, George F
Publicat: (1993)

Prolog programming for artificial intelligence
per: Bratko, Ivan
Publicat: (2001)

Artificial intelligence: an engineering approach/
per: Schalkoff, Robert J
Publicat: (1990)

Introduction to artificial intelligence
per: Ertel, Wolfgang
Publicat: (2011)

Logic, algebra, and databases /
per: Gray, Peter M. D.
Publicat: (1988)

Artificial intelligence : structures and strategies for complex problem solving /
per: Luger, George F.
Publicat: (1993)

Artificial intelligence : structures and strategies for complex problem solving /
per: Luger, George F.
Publicat: (2005)

Artificial intelligence/
per: Luger, George F.
Publicat: (2005)

Artificial intelligence: structures and strategies for complex problem solving
per: Luger, George F
Publicat: (2005)

Practical prolog
per: Young, Richard J
Publicat: (1988)

Artificial intelligence : structures and strategies for complex problem solving /
per: Luger, George F.
Publicat: (2005)

Programming in PROLOG
per: Suri, R P
Publicat: (1995)

Programming in PROLOG
per: Clocksin, W F; Mellish, C S
Publicat: (2002)