Foundations of logic programming

Foundations of logic programming

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Lloyd, J. W. 1947- (John Wylie) (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag c1984
Θέματα:	COMPUTER PROGRAMMING Υπολογιστική

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

Logic programming and knowledge engineering
ανά: Amble, Tore
Έκδοση: (1987)

Temporal logics and their applications
Έκδοση: (1987)

Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Έκδοση: (1989)

Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
Έκδοση: (1986)

Logic for computer science Foundations of automatic theorem proving
ανά: Gallier, Jean H.
Έκδοση: (1987)

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

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

Semantics and Logic of Computation

The nonlinear workbook Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Fuzzy Logic with C++, Java, Symbolic C++ and Reduce Programs
ανά: Steeb, Willi-Hans
Έκδοση: (2001)

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

Logic in Computer Science (1987) Proceedings Symposium Ithaca, New York, June 22-25, 1987
Έκδοση: (1987)

Logic in Computer Science (1988) Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland
Έκδοση: (1988)

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

Discrete Mathematics in Computer Science
ανά: McAllister, David F., κ.ά.
Έκδοση: (1977)

Modern cellular automata Theory and applications
ανά: Duff, M. J. B., κ.ά.
Έκδοση: (1984)

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

Introduction to Formal Language Theory
ανά: Harrison, Michael A.
Έκδοση: (1978)

Logic in Computer Science (1986) Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986
Έκδοση: (1986)

Parallel sympolic computing:languages, systems, and applications Proceedings of the US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992
Έκδοση: (1993)

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

The logic of programming
ανά: Hehner, Eric C.
Έκδοση: (1984)

Computer algebra with symbolic C++
ανά: Hardy, Yorick, 1976-
Έκδοση: (2008)

Journal of Scientific Computing
Έκδοση: (1986)

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

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Έκδοση: (1996)

Elements of the theory of computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1998)

Current trends in informatics : proceedings ... [from] 11th Panhellenic Conference in Informatics, 18-20 May 2007, Patras, Greece /
Έκδοση: (2007)

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

Theory of finite automata With an introduction to formal languages
ανά: Carroll, John, κ.ά.
Έκδοση: (1989)

Complexity and structure
ανά: Schöning, Uwe, 1955-
Έκδοση: (1986)

Switching and finite automata theory
ανά: Kohavi, Zvi
Έκδοση: (1988)

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

8080 Programming for Logic Design
Έκδοση: (1976)

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)

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

Theory of computing Proceedings of the 16th Annual ACM Symposium Washington, D.C., April 30-May 2, 1984
Έκδοση: (1984)

Theory of Computing Proceedings of the 27th Annual ACM Symposium Las Vegas, Nevada, May 29- June 1, 1995
Έκδοση: (1995)

Theory of Computing Proceedings of the 29th Annual ACM Symposium El Paso. Texas, May 4-6, 1997
Έκδοση: (1997)

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