Logic programming and knowledge engineering

Logic programming and knowledge engineering

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Amble, Tore (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Wokingham England Addison-Wesley c1987
Σειρά:	International Computer Science Series
Θέματα:	COMPUTER PROGRAMMING Υπολογιστική

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

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

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

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

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

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)

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

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

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

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

Semantics and Logic of Computation

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

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

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

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

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

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

The science of programming
ανά: Gries, David
Έκδοση: (1981)

Functional programming
ανά: Field, Anthony J., κ.ά.
Έκδοση: (1988)

Structured programming
ανά: Dahl, O. J., κ.ά.
Έκδοση: (1972)

Functional programming Application and implementation
ανά: Henderson, Peter
Έκδοση: (1980)

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

A method of programming
ανά: Dijkstra, Edsger Wybe, κ.ά.
Έκδοση: (1988)

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)

Tutorial on structured programming Integrated practices
ανά: Baker, F. T., κ.ά.
Έκδοση: (1981)

Abstraction and specification in program development
ανά: Guttag, John, κ.ά.
Έκδοση: (1986)

Managing a programming project
ανά: Metzger, Philip W.
Έκδοση: (1981)

Research directions in object-oriented programming
Έκδοση: (1987)

Fortran codes for mathematical programming Linear, quadratic and discrete
ανά: Land, A. H., κ.ά.
Έκδοση: (1973)

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

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

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

Structure and interpretation of computer programs
ανά: Abelson, Harold, κ.ά.
Έκδοση: (1985)

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)

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

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

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

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

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

Cannot write session to /tmp/vufind_sessions/sess_nnqnr7e17tl81a5l54tkv2hv1r