Lanean...

QR Kodea

Prolog: from formal specification to prototype

Xehetasun bibliografikoak
Egile nagusia:	Leadbetter, Peter
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	London Blackwell scientific publications 1991
Gaiak:	Prolog(Computer program language) Data structures in Prolog

Antzeko izenburuak

Programming in prolog
nork: Clocksin, William F.
Argitaratua: (2003)

Introduction to Turbo prolog /
nork: Townsend, Carl
Argitaratua: (1988)

Introduction to Turbo prolog
nork: Townsend, Carl
Argitaratua: (1988)

Programming in prolog /
nork: Clocksin, W F .
Argitaratua: (1981)

Illustrated turbo prolog
nork: McAllister, Mick
Argitaratua: (1989)

Illustrated Turbo prolog /
nork: McAllister, Mick
Argitaratua: (1989)

Introduction to Turbo Prolog
nork: Townsend,Carl
Argitaratua: (1988)

Turbo Prolog 2.0: user`s guide /
nork: Turbo, .
Argitaratua: (1988)

Logic and prolog programming /
nork: Kaushik,Saroj
Argitaratua: (2008)

Prolog multiprocessors /
nork: Wise, Michael J .
Argitaratua: (1986)

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

PROLOG :programming for artificial intelligence
nork: Bratko, Ivan
Argitaratua: (1990)

Programming in prolog
nork: Clocksin, W F
Argitaratua: (1989)

Prgramming in micro-prolog /
nork: De Saram, Hugh .
Argitaratua: (1988)

Introduction to turbo prolog /
nork: Townsend, Carl .
Argitaratua: (1988)

Turbo prolog features for programmers /
nork: Nath, Sanjiva .
Argitaratua: (1986)

Artificial intelligence through prolog /
nork: Rowe, Neil C .
Argitaratua: (1988)

Prolog programming for artificial intelligence /
nork: Bratko, Ivan
Argitaratua: (2001)

Prolog programming for artificial intelligence /
nork: Bratko, Ivan, 1946-
Argitaratua: (2012)

Micro-prolog: programming in logic /
nork: Clark, K L
Argitaratua: (1987)

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

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

LISP
nork: Winston,Patrick Henry
Argitaratua: (1989)

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

Artificial intelligence : an engineering approach /
nork: Schalkoff, Robert J.
Argitaratua: (1990)

Programming Languages: Concepts and Constructs
nork: Sethi, Ravi
Argitaratua: (2007)

Programming Languages: Concepts and Constructs
nork: Sethi, Ravi
Argitaratua: (2009)

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

Prolog programming for artificial intelligence
nork: Bratko, Ivan
Argitaratua: (2001)

Artificial intelligence: an engineering approach/
nork: Schalkoff, Robert J
Argitaratua: (1990)

Introduction to artificial intelligence
nork: Ertel, Wolfgang
Argitaratua: (2011)

Logic, algebra, and databases /
nork: Gray, Peter M. D.
Argitaratua: (1988)

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

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

Artificial intelligence/
nork: Luger, George F.
Argitaratua: (2005)

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

Practical prolog
nork: Young, Richard J
Argitaratua: (1988)

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

Programming in PROLOG
nork: Suri, R P
Argitaratua: (1995)

Programming in PROLOG
nork: Clocksin, W F; Mellish, C S
Argitaratua: (2002)