Foundations of logic programming

Foundations of logic programming

Bibliographic Details
Main Author:	Lloyd, J. W. 1947- (John Wylie) (Author)
Format:	Book
Language:	English
Published:	Berlin Springer-Verlag c1984
Subjects:	COMPUTER PROGRAMMING Υπολογιστική

Similar Items

Logic programming and knowledge engineering
by: Amble, Tore
Published: (1987)

Logic for computer science Foundations of automatic theorem proving
by: Gallier, Jean H.
Published: (1987)

Temporal logics and their applications
Published: (1987)

The nonlinear workbook Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Fuzzy Logic with C++, Java, Symbolic C++ and Reduce Programs
by: Steeb, Willi-Hans
Published: (2001)

Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Published: (1989)

The logic of programming
by: Hehner, Eric C.
Published: (1984)

Discrete Mathematics in Computer Science
by: McAllister, David F., et al.
Published: (1977)

Foundations of inductive logic programming
by: Nienhuys-Cheng, Shan-Hwei, et al.
Published: (1997)

Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
Published: (1986)

Foundations of Disjunctive Logic Programming
by: Lobo, Jorge, et al.
Published: (1992)

Logic programming
Published: (1982)

Semantics and Logic of Computation

Solving higher-order equations From logic to programming
by: Prehofer, Christian
Published: (1998)

A computational logic handbook
by: Boyer, Robert, et al.
Published: (1998)

A Computational Logic Handbook
by: Moore, J. Strother, et al.
Published: (1988)

Modern cellular automata Theory and applications
by: Duff, M. J. B., et al.
Published: (1984)

From logic to logic programming
by: Doets, Kees
Published: (1994)

Structured programming
by: Dahl, O. J., et al.
Published: (1972)

Parallel sympolic computing:languages, systems, and applications Proceedings of the US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992
Published: (1993)

Functional programming
by: Field, Anthony J., et al.
Published: (1988)

A method of programming
by: Dijkstra, Edsger Wybe, et al.
Published: (1988)

Managing a programming project
by: Metzger, Philip W.
Published: (1981)

The science of programming
by: Gries, David
Published: (1981)

Logic in Computer Science (1987) Proceedings Symposium Ithaca, New York, June 22-25, 1987
Published: (1987)

Abstraction and specification in program development
by: Guttag, John, et al.
Published: (1986)

Logic in Computer Science (1988) Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland
Published: (1988)

Functional programming Application and implementation
by: Henderson, Peter
Published: (1980)

Tutorial on structured programming Integrated practices
by: Baker, F. T., et al.
Published: (1981)

Fortran codes for mathematical programming Linear, quadratic and discrete
by: Land, A. H., et al.
Published: (1973)

Research directions in object-oriented programming
Published: (1987)

8080 Programming for Logic Design
Published: (1976)

Structure and interpretation of computer programs
by: Abelson, Harold, et al.
Published: (1985)

Logic Programming and Databases
by: Ceri, S., et al.
Published: (1990)

Computer organization and programming
by: Gear, C. W.
Published: (1969)

Logic programming Proceedings of the 5th International Conference and Symposium
Published: (1988)

Optimization and Computational Logic
by: McAloon, Ken, et al.
Published: (1996)

Journal of Scientific Computing
Published: (1986)

Computer algebra with symbolic C++
by: Hardy, Yorick, 1976-
Published: (2008)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Published: (1987)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Published: (1987)

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