Lataa...

QR-koodi

Prolog: from formal specification to prototype

Bibliografiset tiedot
Päätekijä:	Leadbetter, Peter
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	London Blackwell scientific publications 1991
Aiheet:	Prolog(Computer program language) Data structures in Prolog

Samankaltaisia teoksia

Programming in prolog
Tekijä: Clocksin, William F.
Julkaistu: (2003)

Introduction to Turbo prolog /
Tekijä: Townsend, Carl
Julkaistu: (1988)

Introduction to Turbo prolog
Tekijä: Townsend, Carl
Julkaistu: (1988)

Programming in prolog /
Tekijä: Clocksin, W F .
Julkaistu: (1981)

Illustrated turbo prolog
Tekijä: McAllister, Mick
Julkaistu: (1989)

Illustrated Turbo prolog /
Tekijä: McAllister, Mick
Julkaistu: (1989)

Introduction to Turbo Prolog
Tekijä: Townsend,Carl
Julkaistu: (1988)

Turbo Prolog 2.0: user`s guide /
Tekijä: Turbo, .
Julkaistu: (1988)

Logic and prolog programming /
Tekijä: Kaushik,Saroj
Julkaistu: (2008)

Prolog multiprocessors /
Tekijä: Wise, Michael J .
Julkaistu: (1986)

Prolog: a relational language and its applications /
Tekijä: Malpas, John .
Julkaistu: (1987)

PROLOG :programming for artificial intelligence
Tekijä: Bratko, Ivan
Julkaistu: (1990)

Programming in prolog
Tekijä: Clocksin, W F
Julkaistu: (1989)

Prgramming in micro-prolog /
Tekijä: De Saram, Hugh .
Julkaistu: (1988)

Introduction to turbo prolog /
Tekijä: Townsend, Carl .
Julkaistu: (1988)

Turbo prolog features for programmers /
Tekijä: Nath, Sanjiva .
Julkaistu: (1986)

Artificial intelligence through prolog /
Tekijä: Rowe, Neil C .
Julkaistu: (1988)

Prolog programming for artificial intelligence /
Tekijä: Bratko, Ivan
Julkaistu: (2001)

Prolog programming for artificial intelligence /
Tekijä: Bratko, Ivan, 1946-
Julkaistu: (2012)

Micro-prolog: programming in logic /
Tekijä: Clark, K L
Julkaistu: (1987)

Programming in prolog/3rd ed.
Tekijä: Clocksin, W. F.
Julkaistu: (1989)

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

LISP
Tekijä: Winston,Patrick Henry
Julkaistu: (1989)

Intelligent image processing in prolog: with 131 figures /
Tekijä: Batchelor, Bruce G .
Julkaistu: (1991)

Artificial intelligence : an engineering approach /
Tekijä: Schalkoff, Robert J.
Julkaistu: (1990)

Programming Languages: Concepts and Constructs
Tekijä: Sethi, Ravi
Julkaistu: (2007)

Programming Languages: Concepts and Constructs
Tekijä: Sethi, Ravi
Julkaistu: (2009)

Artifical intelligence: structures and strategies for complex problem solving
Tekijä: Luger, George F
Julkaistu: (1993)

Prolog programming for artificial intelligence
Tekijä: Bratko, Ivan
Julkaistu: (2001)

Artificial intelligence: an engineering approach/
Tekijä: Schalkoff, Robert J
Julkaistu: (1990)

Introduction to artificial intelligence
Tekijä: Ertel, Wolfgang
Julkaistu: (2011)

Logic, algebra, and databases /
Tekijä: Gray, Peter M. D.
Julkaistu: (1988)

Artificial intelligence : structures and strategies for complex problem solving /
Tekijä: Luger, George F.
Julkaistu: (1993)

Artificial intelligence : structures and strategies for complex problem solving /
Tekijä: Luger, George F.
Julkaistu: (2005)

Artificial intelligence/
Tekijä: Luger, George F.
Julkaistu: (2005)

Artificial intelligence: structures and strategies for complex problem solving
Tekijä: Luger, George F
Julkaistu: (2005)

Practical prolog
Tekijä: Young, Richard J
Julkaistu: (1988)

Artificial intelligence : structures and strategies for complex problem solving /
Tekijä: Luger, George F.
Julkaistu: (2005)

Programming in PROLOG
Tekijä: Suri, R P
Julkaistu: (1995)

Programming in PROLOG
Tekijä: Clocksin, W F; Mellish, C S
Julkaistu: (2002)