Foundations of Disjunctive Logic Programming

Foundations of Disjunctive Logic Programming

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Lobo, Jorge (Συγγραφέας), Minker, Jack (Συγγραφέας), Rajasekar, Arcot (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Mass Massachusetts Institute of Technology Cambridge Mass. c1992
Θέματα:	COMPUTER PROGRAMMING Προγραμματισμός ΕΣΑ

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

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

Logic Programming and Databases
ανά: Ceri, S., κ.ά.
Έκδοση: (1990)

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

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

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

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)

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

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

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

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

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

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

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

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

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

Linear Programming
ανά: Chvatal, Vasek
Έκδοση: (1983)

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

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

Optimization and Computational Logic
ανά: McAloon, Ken, κ.ά.
Έκδοση: (1996)

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

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

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

Research directions in concurrent object-oriented programming
ανά: Agha, Gul
Έκδοση: (1993)

System/3 programming RPGII
ανά: Bernard, Solomon M.
Έκδοση: (1972)

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

Logic and computation Interactive Proof with Cambridge LCF
ανά: Paulson, Lawrence C.
Έκδοση: (1987)

Semantics and Logic of Computation

Beginning ASP 3.0 [Active Server Pages 3.0 Online support at p2p. wrox.com]
ανά: Ullman, Chris, κ.ά.
Έκδοση: (2002)

Fundamentals of Assembly Language Programming Using the IBM PC and Compatibles
Έκδοση: (1990)

Structured COBOL programming
Έκδοση: (1988)

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

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

High-order operational techniques in semantics
Έκδοση: (1998)

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

Software construction-Foundation and application Dagstuhl-Seminar-Report; 29 13.-17.1.92(9203)

Verification of sequential and concurrent programs
ανά: Apt, Krzysztof
Έκδοση: (1997)

Foundations of logic programming
ανά: Lloyd, J. W. 1947- (John Wylie)
Έκδοση: (1984)

Publisher 2000 Get professional results
ανά: Parker, Roger C.
Έκδοση: (2000)

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

Cannot write session to /tmp/vufind_sessions/sess_cbpu543sbkpm0mhbgi1uqi1qqh