Automated reasoning introduction and applications

Automated reasoning introduction and applications

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
Έκδοση: (2007)

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

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

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

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

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

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

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

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

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

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

Introduction to linear and nonlinear programming
ανά: Luenberger, David G.
Έκδοση: (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)

Introduction to computer systems design : (planning files & programs) /
ανά: Waters, S. J.
Έκδοση: (1974)

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

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

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