Llwytho...

Côd QR

Prolog: from formal specification to prototype

Manylion Llyfryddiaeth
Prif Awdur:	Leadbetter, Peter
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	London Blackwell scientific publications 1991
Pynciau:	Prolog(Computer program language) Data structures in Prolog

Eitemau Tebyg

Programming in prolog
gan: Clocksin, William F.
Cyhoeddwyd: (2003)

Introduction to Turbo prolog /
gan: Townsend, Carl
Cyhoeddwyd: (1988)

Introduction to Turbo prolog
gan: Townsend, Carl
Cyhoeddwyd: (1988)

Programming in prolog /
gan: Clocksin, W F .
Cyhoeddwyd: (1981)

Illustrated turbo prolog
gan: McAllister, Mick
Cyhoeddwyd: (1989)

Illustrated Turbo prolog /
gan: McAllister, Mick
Cyhoeddwyd: (1989)

Introduction to Turbo Prolog
gan: Townsend,Carl
Cyhoeddwyd: (1988)

Turbo Prolog 2.0: user`s guide /
gan: Turbo, .
Cyhoeddwyd: (1988)

Logic and prolog programming /
gan: Kaushik,Saroj
Cyhoeddwyd: (2008)

Prolog multiprocessors /
gan: Wise, Michael J .
Cyhoeddwyd: (1986)

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

PROLOG :programming for artificial intelligence
gan: Bratko, Ivan
Cyhoeddwyd: (1990)

Programming in prolog
gan: Clocksin, W F
Cyhoeddwyd: (1989)

Prgramming in micro-prolog /
gan: De Saram, Hugh .
Cyhoeddwyd: (1988)

Introduction to turbo prolog /
gan: Townsend, Carl .
Cyhoeddwyd: (1988)

Turbo prolog features for programmers /
gan: Nath, Sanjiva .
Cyhoeddwyd: (1986)

Artificial intelligence through prolog /
gan: Rowe, Neil C .
Cyhoeddwyd: (1988)

Prolog programming for artificial intelligence /
gan: Bratko, Ivan
Cyhoeddwyd: (2001)

Prolog programming for artificial intelligence /
gan: Bratko, Ivan, 1946-
Cyhoeddwyd: (2012)

Micro-prolog: programming in logic /
gan: Clark, K L
Cyhoeddwyd: (1987)

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

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

LISP
gan: Winston,Patrick Henry
Cyhoeddwyd: (1989)

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

Artificial intelligence : an engineering approach /
gan: Schalkoff, Robert J.
Cyhoeddwyd: (1990)

Programming Languages: Concepts and Constructs
gan: Sethi, Ravi
Cyhoeddwyd: (2007)

Programming Languages: Concepts and Constructs
gan: Sethi, Ravi
Cyhoeddwyd: (2009)

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

Prolog programming for artificial intelligence
gan: Bratko, Ivan
Cyhoeddwyd: (2001)

Artificial intelligence: an engineering approach/
gan: Schalkoff, Robert J
Cyhoeddwyd: (1990)

Introduction to artificial intelligence
gan: Ertel, Wolfgang
Cyhoeddwyd: (2011)

Logic, algebra, and databases /
gan: Gray, Peter M. D.
Cyhoeddwyd: (1988)

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

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

Artificial intelligence/
gan: Luger, George F.
Cyhoeddwyd: (2005)

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

Practical prolog
gan: Young, Richard J
Cyhoeddwyd: (1988)

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

Programming in PROLOG
gan: Suri, R P
Cyhoeddwyd: (1995)

Programming in PROLOG
gan: Clocksin, W F; Mellish, C S
Cyhoeddwyd: (2002)