Loading...

QR Code

Prolog: from formal specification to prototype

Bibliografiske detaljer
Hovedforfatter:	Leadbetter, Peter
Format:	Printed Book
Sprog:	English
Udgivet:	London Blackwell scientific publications 1991
Fag:	Prolog(Computer program language) Data structures in Prolog

Lignende værker

Programming in prolog
af: Clocksin, William F.
Udgivet: (2003)

Introduction to Turbo prolog /
af: Townsend, Carl
Udgivet: (1988)

Introduction to Turbo prolog
af: Townsend, Carl
Udgivet: (1988)

Programming in prolog /
af: Clocksin, W F .
Udgivet: (1981)

Illustrated turbo prolog
af: McAllister, Mick
Udgivet: (1989)

Illustrated Turbo prolog /
af: McAllister, Mick
Udgivet: (1989)

Introduction to Turbo Prolog
af: Townsend,Carl
Udgivet: (1988)

Turbo Prolog 2.0: user`s guide /
af: Turbo, .
Udgivet: (1988)

Logic and prolog programming /
af: Kaushik,Saroj
Udgivet: (2008)

Prolog multiprocessors /
af: Wise, Michael J .
Udgivet: (1986)

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

PROLOG :programming for artificial intelligence
af: Bratko, Ivan
Udgivet: (1990)

Programming in prolog
af: Clocksin, W F
Udgivet: (1989)

Prgramming in micro-prolog /
af: De Saram, Hugh .
Udgivet: (1988)

Introduction to turbo prolog /
af: Townsend, Carl .
Udgivet: (1988)

Turbo prolog features for programmers /
af: Nath, Sanjiva .
Udgivet: (1986)

Artificial intelligence through prolog /
af: Rowe, Neil C .
Udgivet: (1988)

Prolog programming for artificial intelligence /
af: Bratko, Ivan
Udgivet: (2001)

Prolog programming for artificial intelligence /
af: Bratko, Ivan, 1946-
Udgivet: (2012)

Micro-prolog: programming in logic /
af: Clark, K L
Udgivet: (1987)

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

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

LISP
af: Winston,Patrick Henry
Udgivet: (1989)

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

Artificial intelligence : an engineering approach /
af: Schalkoff, Robert J.
Udgivet: (1990)

Programming Languages: Concepts and Constructs
af: Sethi, Ravi
Udgivet: (2007)

Programming Languages: Concepts and Constructs
af: Sethi, Ravi
Udgivet: (2009)

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

Prolog programming for artificial intelligence
af: Bratko, Ivan
Udgivet: (2001)

Artificial intelligence: an engineering approach/
af: Schalkoff, Robert J
Udgivet: (1990)

Introduction to artificial intelligence
af: Ertel, Wolfgang
Udgivet: (2011)

Logic, algebra, and databases /
af: Gray, Peter M. D.
Udgivet: (1988)

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

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

Artificial intelligence/
af: Luger, George F.
Udgivet: (2005)

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

Practical prolog
af: Young, Richard J
Udgivet: (1988)

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

Programming in PROLOG
af: Suri, R P
Udgivet: (1995)

Programming in PROLOG
af: Clocksin, W F; Mellish, C S
Udgivet: (2002)