Lanean...

QR Kodea

Logic, algebra, and databases /

other_versions_link

Xehetasun bibliografikoak
Egile nagusia:	Gray, Peter M. D.
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Chichester, West Sussex, England : New Delhi E. Horwood ; Distributor, Halsted Press, 1988.
Gaiak:	Database management. Prolog (Computer program language) Computer programming. Algebra. Logic, Symbolic and mathematical.

Antzeko izenburuak

Illustrated Turbo prolog /
nork: McAllister, Mick
Argitaratua: (1989)

Logic of programming /
nork: Hehner, Eric C. R.
Argitaratua: (1991)

Development of mathematical logic,
nork: Goodstein, R. L.
Argitaratua: (1971)

Logic and prolog programming /
nork: Kaushik,Saroj
Argitaratua: (2008)

Grundzuge der theoretischen Logik
nork: Hilbert, David
Argitaratua: (1972)

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

Logic, algebra and databases /
nork: Gray, Peter M D .
Argitaratua: (1984)

Illustrated dBase III plus� book /
nork: Stultz, Russell Allen
Argitaratua: (1987)

Outline of set theory /
nork: Henle, James M.
Argitaratua: (1986)

Introduction to the design and analysis of algorithms /
nork: Goodman, Seymour E.
Argitaratua: (1977)

Programming in prolog
nork: Clocksin, William F.
Argitaratua: (2003)

Micro-prolog: programming in logic /
nork: Clark, K L
Argitaratua: (1987)

Introduction to Turbo prolog /
nork: Townsend, Carl
Argitaratua: (1988)

Fundamentals of database systems .-2nd ed.
nork: Elmasri, Ramez
Argitaratua: (1999)

Theory of program structures : schemes, semantics, verification /
nork: Greibach, Sheila
Argitaratua: (1975)

Prolog: from formal specification to prototype
nork: Leadbetter, Peter
Argitaratua: (1991)

Program logics for certified compilers /
nork: Appel, Andrew W., 1960-

Introduction to Turbo prolog
nork: Townsend, Carl
Argitaratua: (1988)

Inductive logic programming
nork: Muggleton, Stephen
Argitaratua: (1992)

Logic, algebra and databases
nork: Gray, Peter M D
Argitaratua: (1984)

Programming in prolog /
nork: Clocksin, W F .
Argitaratua: (1981)

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

Modern algebra: a logical approach
nork: Allen, Frank B, et al.
Argitaratua: (1969)

Java database programming
nork: Jepson, Brian
Argitaratua: (1996)

Programming with Higher-Order Logic /
nork: Miller,, Dale
Argitaratua: (2012)

Handbook of multimedia information management /
nork: Grosky, William I.ed
Argitaratua: (1997)

Logic at work : essays dedicated to the memory of Helena Rasiowa /
Argitaratua: (1999)

Security in computing
nork: Pfleeger, Charles P
Argitaratua: (2018)

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets /
nork: Gregg, John
Argitaratua: (2000)

Symbolic Logic
nork: Copi, Irving m
Argitaratua: (1998)

Logic grammars/
nork: Abramson, Harvey
Argitaratua: (1989)

Symbolic Logic and the Game of Logic
nork: Carroll, Lewis
Argitaratua: (1958)

Logical forms : an introduction to philosophical logic /
nork: Sainsbury, R. M.
Argitaratua: (1991)

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

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

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

System of Logic
nork: Martin, Norman M
Argitaratua: (1989)

Database Management Systems /
nork: Leon,, Alexis
Argitaratua: (1999)

Logic with trees : an introduction to symbolic logic /
nork: Howson, Colin
Argitaratua: (1997)

Prgramming in micro-prolog /
nork: De Saram, Hugh .
Argitaratua: (1988)