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)

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

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

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)

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

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

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

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

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

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

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

Artificial intelligence and molecular biology
Έκδοση: (1993)

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

Epistemic logic for AI and computer science
ανά: Meyer, John-Jules Ch
Έκδοση: (1995)

Flying Insects and Robots
ανά: Floreano, Dario
Έκδοση: (2010)

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

Evolutionary computation toward a new philosophy of machine intelligence
ανά: Fogel, David B.
Έκδοση: (2000)

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

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

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

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

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)

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

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

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

Introduction to knowledge systems
ανά: Stefik, Mark
Έκδοση: (1995)

Turtles, termites, and traffic jams explorations in massively parallel microworlds
ανά: Resnick, Mitchel
Έκδοση: (1994)

Introduction to artificial intelligence and expert systems
ανά: Patterson, Dan W. 1930-
Έκδοση: (1990)

Foundations of soft case-based reasoning
ανά: Pal, Sankar K.
Έκδοση: (2004)

Developing intelligent agents for distributed systems exploring architecture, technologies, and applications
ανά: Knapik, Michael

Expert systems artificial intelligence in business
ανά: Harmon, Paul
Έκδοση: (1985)

Parallel computation and computers for artificial intelligence
Έκδοση: (1988)

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