Lataa...

QR-koodi

Logic, algebra, and databases /

other_versions_link

Bibliografiset tiedot
Päätekijä:	Gray, Peter M. D.
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	Chichester, West Sussex, England : New Delhi E. Horwood ; Distributor, Halsted Press, 1988.
Aiheet:	Database management. Prolog (Computer program language) Computer programming. Algebra. Logic, Symbolic and mathematical.

Samankaltaisia teoksia

Illustrated Turbo prolog /
Tekijä: McAllister, Mick
Julkaistu: (1989)

Logic of programming /
Tekijä: Hehner, Eric C. R.
Julkaistu: (1991)

Development of mathematical logic,
Tekijä: Goodstein, R. L.
Julkaistu: (1971)

Logic and prolog programming /
Tekijä: Kaushik,Saroj
Julkaistu: (2008)

Grundzuge der theoretischen Logik
Tekijä: Hilbert, David
Julkaistu: (1972)

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

Logic, algebra and databases /
Tekijä: Gray, Peter M D .
Julkaistu: (1984)

Illustrated dBase III plus� book /
Tekijä: Stultz, Russell Allen
Julkaistu: (1987)

Outline of set theory /
Tekijä: Henle, James M.
Julkaistu: (1986)

Introduction to the design and analysis of algorithms /
Tekijä: Goodman, Seymour E.
Julkaistu: (1977)

Programming in prolog
Tekijä: Clocksin, William F.
Julkaistu: (2003)

Micro-prolog: programming in logic /
Tekijä: Clark, K L
Julkaistu: (1987)

Introduction to Turbo prolog /
Tekijä: Townsend, Carl
Julkaistu: (1988)

Fundamentals of database systems .-2nd ed.
Tekijä: Elmasri, Ramez
Julkaistu: (1999)

Theory of program structures : schemes, semantics, verification /
Tekijä: Greibach, Sheila
Julkaistu: (1975)

Prolog: from formal specification to prototype
Tekijä: Leadbetter, Peter
Julkaistu: (1991)

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

Introduction to Turbo prolog
Tekijä: Townsend, Carl
Julkaistu: (1988)

Inductive logic programming
Tekijä: Muggleton, Stephen
Julkaistu: (1992)

Logic, algebra and databases
Tekijä: Gray, Peter M D
Julkaistu: (1984)

Programming in prolog /
Tekijä: Clocksin, W F .
Julkaistu: (1981)

Prolog: a relational language and its applications /
Tekijä: Malpas, John .
Julkaistu: (1987)

Modern algebra: a logical approach
Tekijä: Allen, Frank B, et al.
Julkaistu: (1969)

Java database programming
Tekijä: Jepson, Brian
Julkaistu: (1996)

Programming with Higher-Order Logic /
Tekijä: Miller,, Dale
Julkaistu: (2012)

Handbook of multimedia information management /
Tekijä: Grosky, William I.ed
Julkaistu: (1997)

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

Security in computing
Tekijä: Pfleeger, Charles P
Julkaistu: (2018)

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

Symbolic Logic
Tekijä: Copi, Irving m
Julkaistu: (1998)

Logic grammars/
Tekijä: Abramson, Harvey
Julkaistu: (1989)

Symbolic Logic and the Game of Logic
Tekijä: Carroll, Lewis
Julkaistu: (1958)

Logical forms : an introduction to philosophical logic /
Tekijä: Sainsbury, R. M.
Julkaistu: (1991)

Symbolic logic /
Tekijä: Copi, Irving M.
Julkaistu: (1973)

Symbolic logic /
Tekijä: Copi, Irving M.
Julkaistu: (1979)

Symbolic logic /
Tekijä: Copi, Irving M.
Julkaistu: (2015)

System of Logic
Tekijä: Martin, Norman M
Julkaistu: (1989)

Database Management Systems /
Tekijä: Leon,, Alexis
Julkaistu: (1999)

Logic with trees : an introduction to symbolic logic /
Tekijä: Howson, Colin
Julkaistu: (1997)

Prgramming in micro-prolog /
Tekijä: De Saram, Hugh .
Julkaistu: (1988)