From logic to logic programming

From logic to logic programming

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Doets, Kees
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge, Massachusetts The MIT Press 1994
Σειρά:	Foundations of computing series
Θέματα:	Ηλεκτρονικοί υπολογιστές > Προγραμματισμός

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

Inductive logic programming from machine learning to software engineering
ανά: Bergadano, Francesco
Έκδοση: (1995)

Logic programming formal methods and practical aplications
Έκδοση: (1995)

Handbook of logic in artificial intelligence and logic programming /
Έκδοση: (1998)

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

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

Logic for applications
ανά: Nerode, Anil 1932-
Έκδοση: (1997)

The temporal logic of reactive and concurrent systems specification
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1992)

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

Parallel programming
ανά: Baker, Louis
Έκδοση: (1996)

Systems programming
ανά: Donovan, John J.
Έκδοση: (1972)

Programming pearls /
ανά: Bentley, Jon Louis
Έκδοση: (1986)

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

Systematic programming An introduction
ανά: Wirth, Niklaus
Έκδοση: (1973)

Introduction to programming a basic approach
ανά: Hare, Van Court
Έκδοση: (1970)

Programs and machines an introduction to the theory of computation
ανά: Bird, Richard 1943-
Έκδοση: (1976)

First steps in programming
ανά: Lee, David
Έκδοση: (1976)

Programming and mathematical method /
Έκδοση: (1992)

Principles of constraint programming
ανά: Krzysztof, Apt R.
Έκδοση: (2003)

Component-oriented programming
ανά: Wang, Andy Ju An
Έκδοση: (2005)

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

Visual programming environments paradigms and systems
ανά: Glinert, Ephraim P.
Έκδοση: (1990)

Ιntroductory computer programming
ανά: Stuart, Fredric
Έκδοση: (1966)

Multithreaded programming with windows NT
ανά: Pham, Thuan Q.
Έκδοση: (1995)

Mathematical methods in program development /
Έκδοση: (1997)

Quality programs for the BBC micro
ανά: Simon
Έκδοση: (1983)

Introduction to linear and nonlinear programming
ανά: Luenberger, David G.
Έκδοση: (1973)

Problem solving and programming concepts /
ανά: Sprankle, Maureen
Έκδοση: (2006)

An introduction to program design
ανά: Sargent, David
Έκδοση: (1991)

Dynamic, genetic and chaotic programming the sixth - generation
ανά: Soucek, Branko
Έκδοση: (1992)

NC machine programming and software design
ανά: Chang, Chao-Hwa, κ.ά.
Έκδοση: (1989)

Advances in programming and non-numerical computation /
Έκδοση: (1966)

Assembly language programming on the BBC micro
ανά: Ferguson, John
Έκδοση: (1983)

Mainframe assembler programming
ανά: Qualls, Bill
Έκδοση: (1998)

Concepts of programming languages
ανά: Sebesta, Robert W.
Έκδοση: (1996)

Cognitive models and intelligent environments for learning programming /
Έκδοση: (1993)

Schaum's outline of theory and problems of computers and programming
ανά: Scheid, Francis 1920-2011
Έκδοση: (1982)

Programming the 68000
ανά: Williams, Steve
Έκδοση: (1985)

Programming the 80286, 80386, 80486 and Pentioum - based personal computer
ανά: Brey, Barry B.
Έκδοση: (1996)

The art of computer programming
ανά: Knuth, Donald Ervin, 1938-

Programming and algorithmic languages
ανά: Mitnik, Yu
Έκδοση: (1987)

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

Cannot write session to /tmp/vufind_sessions/sess_7eopi662p76gc4h8tb2fts3t07