An Introduction To Logic Programming Through Prolog Micahel Spivey

An Introduction To Logic Programming Through Prolog Micahel Spivey

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Spivey, Michael
Formatua:	Umum
Hizkuntza:	Asing
Argitaratua:	Prentice-Hall 1996
Gaiak:	LOGIC PROGRAMMING
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

PINJAM

Antzeko izenburuak

An Introduction to Logic programming throuhg Prolog - Michael Spivey
nork: SPIVEY, Michael
Argitaratua: (1996)

An Introduction to Logic programming throuhg Prolog#Michael Spivey
nork: SPIVEY, Michael
Argitaratua: ()

Constructing Logic Programs Edited By Jean-marie Jacques
Argitaratua: ()

Introduction to logic
nork: COPI, Irving M.
Argitaratua: (1953)

Logic and its applications
nork: Burke, Edmund
Argitaratua: (1996)

Introduction to logic design
nork: Marcovitz, Alan B,, et al.
Argitaratua: (2002)

Introduction to logic and computer design
nork: Marcovitz, Alan B., et al.
Argitaratua: (2008)

Introduction to Logic
nork: Copi, Irving M.
Argitaratua: (2009)

The Logic Of Self-InVolvement
nork: Evans, Donald D.
Argitaratua: (1969)

Logic and its applications.
nork: Burke, Edmund
Argitaratua: (1996)

Parallel logic programming techniques
nork: Taylor, Stephen
Argitaratua: (1989)

Symbolic Logic
nork: Copi, Irving M.
Argitaratua: (1979)

The Logic Of Survey Analysis
nork: ROSENBERG, Morris
Argitaratua: (1968)

The Essence of logic
nork: Kelly, John J.
Argitaratua: (1997)

Digital Logic And Computer Design M. Morris Mano
nork: MANO, M. Morris, et al.
Argitaratua: (1979)

Categorical logic and type theory
nork: Jacobs, Bart
Argitaratua: (1999)

Fuzzy Sets And Fuzzy Logic
nork: KLIR, George J
Argitaratua: (1995)

The Programmable logic : data book
nork: -
Argitaratua: (1999)

Introductory logic and sets for computer scientists
nork: Nissanke, Nimal
Argitaratua: (1999)

Mathematical Logic For Computer Science M. Ben Ari
nork: BEN, Ari M
Argitaratua: (1993)

Historians' Fallacies : Toward A Logic of Historical Thought
nork: Fisher, David Hackett
Argitaratua: (1970)

Logic and Discrete Mathematics (A Computer Science Perspective)
nork: Grassmann, Winfried Karl
Argitaratua: (1996)

Digital Logic Design.
nork: Holdsworth, B.
Argitaratua: (2006)

CMOS Logic Data
nork: Tim Technical
Argitaratua: (2000)

Memahami logika pembuatan program secara mudah
nork: Hartanto, Budi
Argitaratua: (2004)

Programmable logic controller (PLC) : sebuah pengantar
nork: Harmein, Irzam, et al.
Argitaratua: (2004)

Programmable Logic Controller (PLC)
nork: Wiliam Bolton
Argitaratua: (2004)

Mysticism and Logic : And Other Essays
nork: Russell, Bertrand
Argitaratua: (1963)

Introduction to Turbo Prolog
nork: Townsend, Carl
Argitaratua: (1987)

Introduction to Turbo Prolog
nork: Townsend, Carl
Argitaratua: ()

Fuzzy Sets And Fuzzy Logic Theory And Applications George J. Klir, Bo Yuan
nork: KLIR, George J
Argitaratua: (1995)

Symbolic logic
nork: Copi, Irving M.
Argitaratua: (1979)

Fundamentals of Digital Logic and Microcomputer Design.
nork: Rafiquzzaman, M.
Argitaratua: (2005)

Using Fuzzy Logic Towards Intelligent Systems Jun Yan, Michael Ryan, James Power
nork: YAN, Jun
Argitaratua: (1994)

Introduction to logic programming
nork: Hogger, Christopher John
Argitaratua: (1984)

From logic programming to prolog#Krzysztof Apt.
nork: APT, Krzysztof
Argitaratua: ()

From logic programming to prolog - Krzysztof Apt.
nork: APT, Krzysztof
Argitaratua: (1997)

Fundamentals of digital logic with VHDL design
nork: Brown, Stephen
Argitaratua: (2009)

A Systematic Approach Ti Digital Logic Design
nork: Mowle, Frederic J.
Argitaratua: (1976)

Mathematical logic for computer science.
Argitaratua: ()