Automated reasoning introduction and applications

Automated reasoning introduction and applications

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Wos, Larry
Άλλοι συγγραφείς:	Lusk, Ewing, Overbeek, Ross
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Englewood Cliffs, NJ Prentice-Hall 1984
Θέματα:	Ηλεκτρονικοί υπολογιστές > Προγραμματισμός Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές Τεχνητή νοημοσύνη

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

An introduction to computational learning theory :
ανά: Kearns, Michael J.
Έκδοση: (1994)

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

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

Extrapolation methods theory and practice
ανά: Brezinski, Claude
Έκδοση: (1991)

The formal semantics of programming languages an introduction
ανά: Winskel, G. (Glynn)
Έκδοση: (1993)

Foundations for programming languages
ανά: Mitchell, John C.
Έκδοση: (1996)

Models of computation and formal languages R. Gregory Taylor
ανά: Taylor, R. Gregory
Έκδοση: (1998)

First-order logic and automated theorem proving /
ανά: Fitting, Melvin 1942-
Έκδοση: (1996)

Automata and computability /
ανά: Kozen, Dexter 1951-
Έκδοση: (1997)

A first course in formal logic and its applications in computer science
ανά: Dowsing, R.D
Έκδοση: (1986)

The resolution calculus /
ανά: Leitsch, Alexander
Έκδοση: (1997)

Arithmetic complexity of computations
ανά: Winograd, Shmuel
Έκδοση: (1980)

Computability and complexity from a programming perpective
ανά: Jones, Neil D.
Έκδοση: (1997)

Computing in Horn clause theories
ανά: Padawitz, Peter
Έκδοση: (1988)

Teaching and learning formal methods
Έκδοση: (1996)

Introduction to the theory of computation
ανά: Sipser, Michael
Έκδοση: (1996)

Introduction to the theory of computation
ανά: Sipser, Michael
Έκδοση: (1996)

Unconventional models of computation
Έκδοση: (1998)

The limits of mathematics a course on information theory and limits of formal reasoning
ανά: Chaitin, Gregory J.
Έκδοση: (1998)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2008)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2012)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2007)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2020)

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

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

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

DNA computing new computing paradigms
ανά: Paun, G.
Έκδοση: (1998)

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

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

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

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

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

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

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

Hybrid neural network and expert systems
ανά: Medsker, Larry R.
Έκδοση: (1994)

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

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

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

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

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

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

Cannot write session to /tmp/vufind_sessions/sess_js02hkhvcqrgfk28bkt4ubhtan