Logic programming formal methods and practical aplications

Logic programming formal methods and practical aplications

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Beierle, Christoph, Plumer, Lutz
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Amsterdam Elsevier 1995
Σειρά:	Studies in computer science and artificial intelligence 11
Θέματα:	Ηλεκτρονικοί υπολογιστές > Προγραμματισμός Τεχνητή νοημοσύνη

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

Genetic programming on the programming of computers by means of natural selection
ανά: Koza, John R.
Έκδοση: (1992)

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

Multi-objective optimization in computational intelligence theory and practice
ανά: Bui, Lam Thu
Έκδοση: (2008)

Artificial intelligence programming
ανά: Charniak, Eugene, κ.ά.
Έκδοση: (1987)

Advances in genetic programming
ανά: Kinnear, Kenneth E.
Έκδοση: (1994)

Automated reasoning and the discovery of missing and elegant proofs
ανά: Wos, Larry
Έκδοση: (2003)

Automated reasonic 33 basic research problems
ανά: Wos, Larry
Έκδοση: (1988)

Computer science today recent trends and developments
Έκδοση: (1995)

Automated reasoning introduction and applications
ανά: Wos, Larry
Έκδοση: (1984)

Paradigms of artificial intelligence programming : Case studies in common LISP /
ανά: Norvig, Peter
Έκδοση: (1992)

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

Logic programming and soft computing
Έκδοση: (1998)

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

Soft computing techniques in knowledge-based intelligent engineering systems approaches and applications
Έκδοση: (1997)

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

Σχεδιασμός και υλοποίηση εξελικτικών μοντέλων χρηστών σε εικονικά περιβάλλοντα μάθησης
ανά: Σιέλης, Γεώργιος
Έκδοση: (2008)

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

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

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

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

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

Fuzzy clustering models and applications
ανά: Sato, Mika
Έκδοση: (1997)

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