تحميل...

QR رمز

Prolog: from formal specification to prototype

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Leadbetter, Peter
التنسيق:	Printed Book
اللغة:	English
منشور في:	London Blackwell scientific publications 1991
الموضوعات:	Prolog(Computer program language) Data structures in Prolog

مواد مشابهة

Programming in prolog
بواسطة: Clocksin, William F.
منشور في: (2003)

Introduction to Turbo prolog /
بواسطة: Townsend, Carl
منشور في: (1988)

Introduction to Turbo prolog
بواسطة: Townsend, Carl
منشور في: (1988)

Programming in prolog /
بواسطة: Clocksin, W F .
منشور في: (1981)

Illustrated turbo prolog
بواسطة: McAllister, Mick
منشور في: (1989)

Illustrated Turbo prolog /
بواسطة: McAllister, Mick
منشور في: (1989)

Introduction to Turbo Prolog
بواسطة: Townsend,Carl
منشور في: (1988)

Turbo Prolog 2.0: user`s guide /
بواسطة: Turbo, .
منشور في: (1988)

Logic and prolog programming /
بواسطة: Kaushik,Saroj
منشور في: (2008)

Prolog multiprocessors /
بواسطة: Wise, Michael J .
منشور في: (1986)

Prolog: a relational language and its applications /
بواسطة: Malpas, John .
منشور في: (1987)

PROLOG :programming for artificial intelligence
بواسطة: Bratko, Ivan
منشور في: (1990)

Programming in prolog
بواسطة: Clocksin, W F
منشور في: (1989)

Prgramming in micro-prolog /
بواسطة: De Saram, Hugh .
منشور في: (1988)

Introduction to turbo prolog /
بواسطة: Townsend, Carl .
منشور في: (1988)

Turbo prolog features for programmers /
بواسطة: Nath, Sanjiva .
منشور في: (1986)

Artificial intelligence through prolog /
بواسطة: Rowe, Neil C .
منشور في: (1988)

Prolog programming for artificial intelligence /
بواسطة: Bratko, Ivan
منشور في: (2001)

Prolog programming for artificial intelligence /
بواسطة: Bratko, Ivan, 1946-
منشور في: (2012)

Micro-prolog: programming in logic /
بواسطة: Clark, K L
منشور في: (1987)

Programming in prolog/3rd ed.
بواسطة: Clocksin, W. F.
منشور في: (1989)

Prolog versus you: an introduction to logic programming
بواسطة: Edman, Anneli; Author, وآخرون
منشور في: (1989)

LISP
بواسطة: Winston,Patrick Henry
منشور في: (1989)

Intelligent image processing in prolog: with 131 figures /
بواسطة: Batchelor, Bruce G .
منشور في: (1991)

Artificial intelligence : an engineering approach /
بواسطة: Schalkoff, Robert J.
منشور في: (1990)

Programming Languages: Concepts and Constructs
بواسطة: Sethi, Ravi
منشور في: (2007)

Programming Languages: Concepts and Constructs
بواسطة: Sethi, Ravi
منشور في: (2009)

Artifical intelligence: structures and strategies for complex problem solving
بواسطة: Luger, George F
منشور في: (1993)

Prolog programming for artificial intelligence
بواسطة: Bratko, Ivan
منشور في: (2001)

Artificial intelligence: an engineering approach/
بواسطة: Schalkoff, Robert J
منشور في: (1990)

Introduction to artificial intelligence
بواسطة: Ertel, Wolfgang
منشور في: (2011)

Logic, algebra, and databases /
بواسطة: Gray, Peter M. D.
منشور في: (1988)

Artificial intelligence : structures and strategies for complex problem solving /
بواسطة: Luger, George F.
منشور في: (1993)

Artificial intelligence : structures and strategies for complex problem solving /
بواسطة: Luger, George F.
منشور في: (2005)

Artificial intelligence/
بواسطة: Luger, George F.
منشور في: (2005)

Artificial intelligence: structures and strategies for complex problem solving
بواسطة: Luger, George F
منشور في: (2005)

Practical prolog
بواسطة: Young, Richard J
منشور في: (1988)

Artificial intelligence : structures and strategies for complex problem solving /
بواسطة: Luger, George F.
منشور في: (2005)

Programming in PROLOG
بواسطة: Suri, R P
منشور في: (1995)

Programming in PROLOG
بواسطة: Clocksin, W F; Mellish, C S
منشور في: (2002)