Formal methods in artificial intelligence

Formal methods in artificial intelligence

Bibliographic Details
Main Author:	Ramsay Allan 1953-
Format:	Book
Language:	English
Published:	Cambridge University Press
Series:	Cambridge tracts in theoretical computer science

Similar Items

Simply logical Intelligent reasoning by example
by: Flach Peter A.
Published: (1994)

Basic artificial intelligence
by: James Mike
Published: (1986)

Artificial intelligence
by: Winston Patrick Henry
Published: (1984)

Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
by: Pfenning Frank
Published: (1994)

Artificial intelligence Principles and applications
Published: (1986)

Artificial intelligence The very idea
by: Haugeland John
Published: (1985)

Artificial intelligence tools, techniques and applications
Published: (1984)

Principles of artificial intelligence
by: Nilsson Nils J.
Published: (1982)

Analysis and synthesis of logic systems
by: Mange Daniel
Published: (1986)

Encyclopedia of artificial intelligence
by: Shapiro Stuart Charles
Published: (1990)

An accompaniment to higher mathematics
by: Exner George R.
Published: (1996)

Methods and tools for applied artificial intelligence
by: Popovic Dobrivoje, et al.
Published: (1994)

Catalogue of artificial intelligence tools
Published: (1986)

The principles of mathematics revisited
by: Hintikka Jaakko 1929-
Published: (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
Published: (1987)

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

The pattern recognition basis of artificial intelligence
by: Tveter Donald R. 1951-
Published: (1998)

Fuzzy logic technology and applications
Published: (1994)

Schaum's outline of theory and problems of discrete mathematics
by: Lipschutz Seymour, et al.
Published: (1997)

The McGraw-Hill illustrated encyclopedia of robotics & artificial intelligence
by: Gibilisco Stan
Published: (1994)

Prolog programming for artificial intelligence
by: Bratko Ivan
Published: (2001)

Knowledge-based intelligent techniques in industry
Published: (1999)

Artificial neural networks
by: Schalkoff Robert J.
Published: (1997)

Introduction to digital logic design
by: Hayes John P.
Published: (1993)

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

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

Intelligent multimedia systems A handbook for creating applications
by: Kaplan Randy M. 1955-
Published: (1997)

Artificial intelligence and the design of expert systems
by: Luger George F., et al.
Published: (1989)

Elements of the theory of computation
by: Lewis Harry R., et al.
Published: (1998)

Mechatronics Designing intelligent machines
Published: (1995)

Artificial intelligence Structures and strategies for complex problem solving
by: Luger George F., et al.
Published: (1998)

Assistive technology and artificial intelligence Applications in robotics, user interfaces, and natural language processing
Published: (1998)

Fuzzy logic Intelligence, control, and information
by: Yen John, et al.
Published: (1999)

Η έκλειψη του λόγου
by: Horkheimer Max 1895-1973
Published: (1987)

Introduction to the foundations of mathematics /
by: Wilder, Raymond Louis, 1896-1982
Published: (1965)

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

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

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

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

Soft computing and intelligent systems design theory, tools and applications
by: Karray Fakhreddine O., et al.
Published: (2004)