Carregant...

Codi QR

Logic, algebra, and databases /

other_versions_link

Dades bibliogràfiques
Autor principal:	Gray, Peter M. D.
Format:	Printed Book
Idioma:	English
Publicat:	Chichester, West Sussex, England : New Delhi E. Horwood ; Distributor, Halsted Press, 1988.
Matèries:	Database management. Prolog (Computer program language) Computer programming. Algebra. Logic, Symbolic and mathematical.

Ítems similars

Illustrated Turbo prolog /
per: McAllister, Mick
Publicat: (1989)

Logic of programming /
per: Hehner, Eric C. R.
Publicat: (1991)

Development of mathematical logic,
per: Goodstein, R. L.
Publicat: (1971)

Logic and prolog programming /
per: Kaushik,Saroj
Publicat: (2008)

Grundzuge der theoretischen Logik
per: Hilbert, David
Publicat: (1972)

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

Logic, algebra and databases /
per: Gray, Peter M D .
Publicat: (1984)

Illustrated dBase III plus� book /
per: Stultz, Russell Allen
Publicat: (1987)

Outline of set theory /
per: Henle, James M.
Publicat: (1986)

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

Programming in prolog
per: Clocksin, William F.
Publicat: (2003)

Micro-prolog: programming in logic /
per: Clark, K L
Publicat: (1987)

Introduction to Turbo prolog /
per: Townsend, Carl
Publicat: (1988)

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

Theory of program structures : schemes, semantics, verification /
per: Greibach, Sheila
Publicat: (1975)

Prolog: from formal specification to prototype
per: Leadbetter, Peter
Publicat: (1991)

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

Introduction to Turbo prolog
per: Townsend, Carl
Publicat: (1988)

Inductive logic programming
per: Muggleton, Stephen
Publicat: (1992)

Logic, algebra and databases
per: Gray, Peter M D
Publicat: (1984)

Programming in prolog /
per: Clocksin, W F .
Publicat: (1981)

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

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

Java database programming
per: Jepson, Brian
Publicat: (1996)

Programming with Higher-Order Logic /
per: Miller,, Dale
Publicat: (2012)

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

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

Security in computing
per: Pfleeger, Charles P
Publicat: (2018)

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

Symbolic Logic
per: Copi, Irving m
Publicat: (1998)

Logic grammars/
per: Abramson, Harvey
Publicat: (1989)

Symbolic Logic and the Game of Logic
per: Carroll, Lewis
Publicat: (1958)

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

Symbolic logic /
per: Copi, Irving M.
Publicat: (1973)

Symbolic logic /
per: Copi, Irving M.
Publicat: (1979)

Symbolic logic /
per: Copi, Irving M.
Publicat: (2015)

System of Logic
per: Martin, Norman M
Publicat: (1989)

Database Management Systems /
per: Leon,, Alexis
Publicat: (1999)

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

Prgramming in micro-prolog /
per: De Saram, Hugh .
Publicat: (1988)