Skip to content
Toggle navigation
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
From modal logic to deductive...
Similar Items
Cite this
Text this
Email this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
From modal logic to deductive databases : introducing a logic based approach to artificial intelligence /
Other Authors:
Thayse, Andre,
,
Gochet, Paul.
,
Gochet, Paul
,
Thayse, Andre
Format:
Book
Published:
New York :
Wiley,
1960.
Subjects:
Artificial intelligence.
Logic programming.
Artificial intelligence
>
Data processing
Logic programming
Holdings
Description
Similar Items
Staff View
Similar Items
Handbook of logic in artificial intelligence and logic programming /
Published: (1993)
Handbook of logic in artificial intelligence and logic programming/
Published: (1995)
Deduction methodologies /
Published: (1994)
Argumentation in artificial intelligence/
Published: (2009)
Artificial intelligence : an engineering approach /
by: Schalkoff, Robert J.
Published: (1990)
Logic programming /
Published: (1998)
The Digital logic handbook 1966-67
Published: (1966)
Handbook of logic in artificial intelligence and logic programming /
Published: (1993)
Handbook of logic in artificial intelligence and logic programming /
Published: (1996)
Handbook of logic in artificial intelligence and logic programming /
Published: (1993)
Elements of argumentation
by: Besnard, Philippe, 1958-
Published: (2008)
Elements of argumentation/
by: Besnard, Philippe, 1958-
Published: (2008)
Non-axiomatic logic a model of intelligent reasoning /
by: Wang, Pei, 1958-
Published: (2013)
Formal methods in artificial intelligence/
by: Ramsay, Allan, 1953-
Published: (1991)
Computational intelligence : a logical approach /
by: Poole, David L. 1958-
Published: (1998)
Nonmonotonic reasoning and uncertain reasoning /
Published: (1994)
Epistemic and temporal reasoning /
Artificial intelligence : a modern approach /
by: Russell, Stuart J.
Published: (2010)
Artificial intelligence : a modern approach /
by: Russell, Stuart J.
Published: (1995)
Artificial intelligence : a modern approach /
by: Russell, Stuart J.
Published: (2014)
Artificial intelligence : a modern approach /
by: Russell, Stuart J.
Published: (2010)
Artificial intelligence: a modern approach/
by: Russell, Stuart Jonathan
Published: (2003)
Artificial intelligence : a modern approach /
by: Russell, Stuart J.
Published: (2010)
Artificial intelligence : a modern approach /
by: Russell, Stuart J.,
Published: (1995)
Artificial intelligence : a theoretical approach /
by: Banerji, Ranan B., 1928-
Published: (1980)
Artificial intelligence : a modern approach /
by: Russell, Stuart J.
Published: (2003)
Artificial intelligence: a modern approach/
by: Russell, Stuart J
Published: (2010)
Theory and practice of logic programming.
Published: (2001)
Artificial intelligence approaches, tools and applications /
Published: (2011)
Non-axiomatic logic : a model of intelligent reasoning /
by: Wang, Pei, 1958-
Published: (2013)
Artificial intelligence /
Published: (1996)
Artificial intelligence /
by: Winston, Patrick Henry.
Published: (1992)
Artificial intelligence/
by: Winston, Patrick Henry
Published: (1992)
Artificial intelligence /
by: Rich, Elaine.
Published: (1991)
The quest for artificial intelligence : a history of ideas and achievements /
by: Nilsson, Nils J., 1933-
Published: (2010)
Essentials of artificial intelligence /
by: Ginsberg, Matthew L., 1955-
Published: (1993)
Artificial intelligence : the very idea /
by: Haugeland, John, 1945-
Published: (1985)
Artificial intelligence :theory and practice /
by: Dean, Thomas L. 1950-
Published: (1995)
Advanced artificial intelligence
by: Shi, Zhongzhi.
Published: (2011)
Principles of quantum artificial intelligence /
by: Wichert, Andreas.
Similar Items
Handbook of logic in artificial intelligence and logic programming /
Published: (1993)
Handbook of logic in artificial intelligence and logic programming/
Published: (1995)
Deduction methodologies /
Published: (1994)
Argumentation in artificial intelligence/
Published: (2009)
Artificial intelligence : an engineering approach /
by: Schalkoff, Robert J.
Published: (1990)
×
Loading...
