Logic Programming and Databases

Logic Programming and Databases

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Ceri, S. (Συγγραφέας), Gottlob, G. (Συγγραφέας), Tanca, L. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag c1990
Σειρά:	Surveys in Computer Science / G.Schlageter-F.Stetter-E.Goto
Θέματα:	COMPUTER PROGRAMMING DATABASE MANAGEMENT LOGIC PROGRAMMING ΕΣΑ

Παρόμοια τεκμήρια

Constraint Logic Programming Selected Research
Έκδοση: (1993)

Computing in Horn Clause Theories
ανά: Padawitz, Peter
Έκδοση: (1988)

The logic programming paradigm A 25-year perspective
Έκδοση: (1999)

Logic programming
Έκδοση: (1982)

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

Foundations of inductive logic programming
ανά: Nienhuys-Cheng, Shan-Hwei, κ.ά.
Έκδοση: (1997)

Foundations of Disjunctive Logic Programming
ανά: Lobo, Jorge, κ.ά.
Έκδοση: (1992)

Concurrent programming
ανά: Snow, C.R
Έκδοση: (1992)

Logic programming Proceedings of the 5th International Conference and Symposium
Έκδοση: (1988)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Subrecursive Programming Systems Complexity and Succinctness
ανά: Case, John, κ.ά.
Έκδοση: (1994)

Principles and Practice of Constraint Programming The Newport Papers
Έκδοση: (1995)

Database Management Systems
ανά: Ramakrishnan, Raghu
Έκδοση: (1998)

Programming with Constraints An Introduction
ανά: Marriott, Kim, κ.ά.
Έκδοση: (1998)

Concurrent Constraint Programming
ανά: Saraswat, Vijay A.
Έκδοση: (1993)

How to Write Parallel Programs A First Course
ανά: Carriero, Nicholas, κ.ά.
Έκδοση: (1990)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
ανά: Chien, Andrew A.
Έκδοση: (1993)

Logic programming Proceedings of the 5th International Conference and Symposium
Έκδοση: (1988)

Mathematics for the analysis of algorithms
ανά: Greene, Daniel H., κ.ά.
Έκδοση: (1990)

Problems on Algorithms
ανά: Parberry, Ian
Έκδοση: (1995)

String Searching Algorithms
ανά: Stephen, Graham A.
Έκδοση: (1994)

Database Programming Languages Deductive, Functional, Persistent and Object-Oriented Aproaches
ανά: Cooper, Richard, κ.ά.
Έκδοση: (1996)

Semantics of Sequential and Parallel Programming
ανά: Best, Eike
Έκδοση: (1996)

Introduction to algorithms
ανά: Cormen, Thomas H., κ.ά.
Έκδοση: (1990)

Using MPI Portable Parallel Programming with the Message-Passing Interface
ανά: Gropp, William, κ.ά.
Έκδοση: (1994)

Topics in Distributed Algorithms
ανά: Tel, Gerard
Έκδοση: (1991)

Structured development of parallel programs
ανά: Pelagatti, Susanna
Έκδοση: (1998)

From logic programming to prolog
Έκδοση: (1997)

Practical parallel programming
ανά: Wilson, Gregory V.
Έκδοση: (1995)

Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)

Designing and building parallel programs Concepts and tools for parallel software engineering
Έκδοση: (1995)

Semantics of Programming Languages
ανά: Tennent, R. D.
Έκδοση: (1991)

Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)

A computational logic handbook
ανά: Boyer, Robert, κ.ά.
Έκδοση: (1998)

A Computational Logic Handbook
ανά: Moore, J. Strother, κ.ά.
Έκδοση: (1988)

Solving higher-order equations From logic to programming
ανά: Prehofer, Christian
Έκδοση: (1998)

The Design of Relational Databases
ανά: Mannila, Heikki, κ.ά.
Έκδοση: (1992)

Logic programming Proceedings of the 4th Conference. Tokyo, Japan, July 1-3, 1985.
Έκδοση: (1986)

A First Course in Database Systems
ανά: Ullman, Jeffrey D., 1942-, κ.ά.
Έκδοση: (1997)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών