Đang tải...

Mã QR

Prolog: from formal specification to prototype

Chi tiết về thư mục
Tác giả chính:	Leadbetter, Peter
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	London Blackwell scientific publications 1991
Những chủ đề:	Prolog(Computer program language) Data structures in Prolog

Những quyển sách tương tự

Programming in prolog
Bằng: Clocksin, William F.
Được phát hành: (2003)

Introduction to Turbo prolog /
Bằng: Townsend, Carl
Được phát hành: (1988)

Introduction to Turbo prolog
Bằng: Townsend, Carl
Được phát hành: (1988)

Programming in prolog /
Bằng: Clocksin, W F .
Được phát hành: (1981)

Illustrated turbo prolog
Bằng: McAllister, Mick
Được phát hành: (1989)

Illustrated Turbo prolog /
Bằng: McAllister, Mick
Được phát hành: (1989)

Introduction to Turbo Prolog
Bằng: Townsend,Carl
Được phát hành: (1988)

Turbo Prolog 2.0: user`s guide /
Bằng: Turbo, .
Được phát hành: (1988)

Logic and prolog programming /
Bằng: Kaushik,Saroj
Được phát hành: (2008)

Prolog multiprocessors /
Bằng: Wise, Michael J .
Được phát hành: (1986)

Prolog: a relational language and its applications /
Bằng: Malpas, John .
Được phát hành: (1987)

PROLOG :programming for artificial intelligence
Bằng: Bratko, Ivan
Được phát hành: (1990)

Programming in prolog
Bằng: Clocksin, W F
Được phát hành: (1989)

Prgramming in micro-prolog /
Bằng: De Saram, Hugh .
Được phát hành: (1988)

Introduction to turbo prolog /
Bằng: Townsend, Carl .
Được phát hành: (1988)

Turbo prolog features for programmers /
Bằng: Nath, Sanjiva .
Được phát hành: (1986)

Artificial intelligence through prolog /
Bằng: Rowe, Neil C .
Được phát hành: (1988)

Prolog programming for artificial intelligence /
Bằng: Bratko, Ivan
Được phát hành: (2001)

Prolog programming for artificial intelligence /
Bằng: Bratko, Ivan, 1946-
Được phát hành: (2012)

Micro-prolog: programming in logic /
Bằng: Clark, K L
Được phát hành: (1987)

Programming in prolog/3rd ed.
Bằng: Clocksin, W. F.
Được phát hành: (1989)

Prolog versus you: an introduction to logic programming
Bằng: Edman, Anneli; Author, et al.
Được phát hành: (1989)

LISP
Bằng: Winston,Patrick Henry
Được phát hành: (1989)

Intelligent image processing in prolog: with 131 figures /
Bằng: Batchelor, Bruce G .
Được phát hành: (1991)

Artificial intelligence : an engineering approach /
Bằng: Schalkoff, Robert J.
Được phát hành: (1990)

Programming Languages: Concepts and Constructs
Bằng: Sethi, Ravi
Được phát hành: (2007)

Programming Languages: Concepts and Constructs
Bằng: Sethi, Ravi
Được phát hành: (2009)

Artifical intelligence: structures and strategies for complex problem solving
Bằng: Luger, George F
Được phát hành: (1993)

Prolog programming for artificial intelligence
Bằng: Bratko, Ivan
Được phát hành: (2001)

Artificial intelligence: an engineering approach/
Bằng: Schalkoff, Robert J
Được phát hành: (1990)

Introduction to artificial intelligence
Bằng: Ertel, Wolfgang
Được phát hành: (2011)

Logic, algebra, and databases /
Bằng: Gray, Peter M. D.
Được phát hành: (1988)

Artificial intelligence : structures and strategies for complex problem solving /
Bằng: Luger, George F.
Được phát hành: (1993)

Artificial intelligence : structures and strategies for complex problem solving /
Bằng: Luger, George F.
Được phát hành: (2005)

Artificial intelligence/
Bằng: Luger, George F.
Được phát hành: (2005)

Artificial intelligence: structures and strategies for complex problem solving
Bằng: Luger, George F
Được phát hành: (2005)

Practical prolog
Bằng: Young, Richard J
Được phát hành: (1988)

Artificial intelligence : structures and strategies for complex problem solving /
Bằng: Luger, George F.
Được phát hành: (2005)

Programming in PROLOG
Bằng: Suri, R P
Được phát hành: (1995)

Programming in PROLOG
Bằng: Clocksin, W F; Mellish, C S
Được phát hành: (2002)