Formal methods in artificial intelligence

Formal methods in artificial intelligence

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Ramsay Allan 1953-
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge University Press
Σειρά:	Cambridge tracts in theoretical computer science

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

Simply logical Intelligent reasoning by example
ανά: Flach Peter A.
Έκδοση: (1994)

Basic artificial intelligence
ανά: James Mike
Έκδοση: (1986)

Artificial intelligence
ανά: Winston Patrick Henry
Έκδοση: (1984)

Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
ανά: Pfenning Frank
Έκδοση: (1994)

Artificial intelligence Principles and applications
Έκδοση: (1986)

Artificial intelligence The very idea
ανά: Haugeland John
Έκδοση: (1985)

Artificial intelligence tools, techniques and applications
Έκδοση: (1984)

Principles of artificial intelligence
ανά: Nilsson Nils J.
Έκδοση: (1982)

Analysis and synthesis of logic systems
ανά: Mange Daniel
Έκδοση: (1986)

Encyclopedia of artificial intelligence
ανά: Shapiro Stuart Charles
Έκδοση: (1990)

An accompaniment to higher mathematics
ανά: Exner George R.
Έκδοση: (1996)

Methods and tools for applied artificial intelligence
ανά: Popovic Dobrivoje, κ.ά.
Έκδοση: (1994)

Catalogue of artificial intelligence tools
Έκδοση: (1986)

The principles of mathematics revisited
ανά: Hintikka Jaakko 1929-
Έκδοση: (1996)

Logic and combinatorics Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985,with support from the National Science Foundation
Έκδοση: (1987)

Φιλοσοφικές παρατηρήσεις
ανά: Wittgenstein Ludwig 1889-1951
Έκδοση: (1993)

The pattern recognition basis of artificial intelligence
ανά: Tveter Donald R. 1951-
Έκδοση: (1998)

Fuzzy logic technology and applications
Έκδοση: (1994)

Schaum's outline of theory and problems of discrete mathematics
ανά: Lipschutz Seymour, κ.ά.
Έκδοση: (1997)

The McGraw-Hill illustrated encyclopedia of robotics & artificial intelligence
ανά: Gibilisco Stan
Έκδοση: (1994)

Prolog programming for artificial intelligence
ανά: Bratko Ivan
Έκδοση: (2001)

Knowledge-based intelligent techniques in industry
Έκδοση: (1999)

Artificial neural networks
ανά: Schalkoff Robert J.
Έκδοση: (1997)

Introduction to digital logic design
ανά: Hayes John P.
Έκδοση: (1993)

Διακριτά μαθηματικά
ανά: Παναγιωτόπουλος Αντώνιος Χ.
Έκδοση: (1993)

Διακριτά μαθηματικά
ανά: Παναγιωτόπουλος Αντώνιος Χ.
Έκδοση: (1999)

Intelligent multimedia systems A handbook for creating applications
ανά: Kaplan Randy M. 1955-
Έκδοση: (1997)

Artificial intelligence and the design of expert systems
ανά: Luger George F., κ.ά.
Έκδοση: (1989)

Elements of the theory of computation
ανά: Lewis Harry R., κ.ά.
Έκδοση: (1998)

Mechatronics Designing intelligent machines
Έκδοση: (1995)

Artificial intelligence Structures and strategies for complex problem solving
ανά: Luger George F., κ.ά.
Έκδοση: (1998)

Assistive technology and artificial intelligence Applications in robotics, user interfaces, and natural language processing
Έκδοση: (1998)

Fuzzy logic Intelligence, control, and information
ανά: Yen John, κ.ά.
Έκδοση: (1999)

Η έκλειψη του λόγου
ανά: Horkheimer Max 1895-1973
Έκδοση: (1987)

Introduction to the foundations of mathematics /
ανά: Wilder, Raymond Louis, 1896-1982
Έκδοση: (1965)

Διακριτά μαθηματικά και εφαρμογές
ανά: Rosen Kenneth H.
Έκδοση: (2017)

Διακριτά μαθηματικά και εφαρμογές τους
ανά: Rosen Kenneth H.
Έκδοση: (2019)

Διακριτά Μαθηματικά βασικές αρχές
ανά: Hunter David J. 1968-
Έκδοση: (2019)

Εισαγωγή στην ασαφή λογική (Fuzzy Logic) βασικές αρχές της ασαφούς λογικής με εφαρμογές στην τεχνολογία
ανά: Θεοδώρου Γιάννης Α.
Έκδοση: (2014)

Soft computing and intelligent systems design theory, tools and applications
ανά: Karray Fakhreddine O., κ.ά.
Έκδοση: (2004)