载入...

QR Code

Logic, algebra, and databases /

other_versions_link

书目详细资料
主要作者:	Gray, Peter M. D.
格式:	Printed Book
语言:	English
出版:	Chichester, West Sussex, England : New Delhi E. Horwood ; Distributor, Halsted Press, 1988.
主题:	Database management. Prolog (Computer program language) Computer programming. Algebra. Logic, Symbolic and mathematical.

相似书籍

Illustrated Turbo prolog /
由: McAllister, Mick
出版: (1989)

Logic of programming /
由: Hehner, Eric C. R.
出版: (1991)

Development of mathematical logic,
由: Goodstein, R. L.
出版: (1971)

Logic and prolog programming /
由: Kaushik,Saroj
出版: (2008)

Grundzuge der theoretischen Logik
由: Hilbert, David
出版: (1972)

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

Logic, algebra and databases /
由: Gray, Peter M D .
出版: (1984)

Illustrated dBase III plus� book /
由: Stultz, Russell Allen
出版: (1987)

Outline of set theory /
由: Henle, James M.
出版: (1986)

Introduction to the design and analysis of algorithms /
由: Goodman, Seymour E.
出版: (1977)

Programming in prolog
由: Clocksin, William F.
出版: (2003)

Micro-prolog: programming in logic /
由: Clark, K L
出版: (1987)

Introduction to Turbo prolog /
由: Townsend, Carl
出版: (1988)

Fundamentals of database systems .-2nd ed.
由: Elmasri, Ramez
出版: (1999)

Theory of program structures : schemes, semantics, verification /
由: Greibach, Sheila
出版: (1975)

Prolog: from formal specification to prototype
由: Leadbetter, Peter
出版: (1991)

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

Introduction to Turbo prolog
由: Townsend, Carl
出版: (1988)

Inductive logic programming
由: Muggleton, Stephen
出版: (1992)

Logic, algebra and databases
由: Gray, Peter M D
出版: (1984)

Programming in prolog /
由: Clocksin, W F .
出版: (1981)

Prolog: a relational language and its applications /
由: Malpas, John .
出版: (1987)

Modern algebra: a logical approach
由: Allen, Frank B, et al.
出版: (1969)

Java database programming
由: Jepson, Brian
出版: (1996)

Programming with Higher-Order Logic /
由: Miller,, Dale
出版: (2012)

Handbook of multimedia information management /
由: Grosky, William I.ed
出版: (1997)

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

Security in computing
由: Pfleeger, Charles P
出版: (2018)

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

Symbolic Logic
由: Copi, Irving m
出版: (1998)

Logic grammars/
由: Abramson, Harvey
出版: (1989)

Symbolic Logic and the Game of Logic
由: Carroll, Lewis
出版: (1958)

Logical forms : an introduction to philosophical logic /
由: Sainsbury, R. M.
出版: (1991)

Symbolic logic /
由: Copi, Irving M.
出版: (1973)

Symbolic logic /
由: Copi, Irving M.
出版: (1979)

Symbolic logic /
由: Copi, Irving M.
出版: (2015)

System of Logic
由: Martin, Norman M
出版: (1989)

Database Management Systems /
由: Leon,, Alexis
出版: (1999)

Logic with trees : an introduction to symbolic logic /
由: Howson, Colin
出版: (1997)

Prgramming in micro-prolog /
由: De Saram, Hugh .
出版: (1988)