The logic of knowledge bases [electronic resource]
| Main Authors: | , |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass :
MIT Press ,
c2000
|
| Subjects: | |
| Online Access: | An electronic book accessible through the World Wide Web; click for information |
Similar Items
Complex systems in knowledge based environments : theory, models and applications
by: Jain, L. C., et al.
Published: (2009)
by: Jain, L. C., et al.
Published: (2009)
Fuzzy computational ontologies in contexts : formal models of knowledge representation with membership degree and typicality of objects, and their applications
by: Yi, Cai, et al.
Published: (2012)
by: Yi, Cai, et al.
Published: (2012)
The equation [electronic resource] : icons of knowledge
by: Bais, Sander
Published: (2005)
by: Bais, Sander
Published: (2005)
Mathematical logic
by: Chiswell, Ian , 1948-, et al.
Published: (2007)
by: Chiswell, Ian , 1948-, et al.
Published: (2007)
Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1979)
by: Mendelson, Elliott
Published: (1979)
Mathematical logic for computer science
by: Ben-Ari, M. , 1948-
Published: (1993)
by: Ben-Ari, M. , 1948-
Published: (1993)
Logic and its applications
by: Burke, Edmund, et al.
Published: (1996)
by: Burke, Edmund, et al.
Published: (1996)
Quantum algebras, mathematical logic and quantum computing [
by: Armenta, Janna
Published: (2014)
by: Armenta, Janna
Published: (2014)
Asas bermantik dan berteori set bagi matematik : bahagian pertama pendekatan moden terhadap matematik tulen
by: Zulauf, A. [ (Achim)] , 1926-
Published: (1992)
by: Zulauf, A. [ (Achim)] , 1926-
Published: (1992)
Computation as logic
by: Lalement, Rene
Published: (1993)
by: Lalement, Rene
Published: (1993)
Basic discrete mathematics : logic,set heory,and probability
by: Kohar, Richard
by: Kohar, Richard
Computability and logic
by: Boolos, George, et al.
Published: (1980)
by: Boolos, George, et al.
Published: (1980)
Knowledge engineering : concepts and practices for knowledge-based systems
by: Tuthill, G. Steven
Published: (1990)
by: Tuthill, G. Steven
Published: (1990)
Pengantar logik
by: Hamidah Abd Hamid
Published: (1991)
by: Hamidah Abd Hamid
Published: (1991)
المنطق الرمزي نشأته وتطوره
by: زيدان، محمود فهمى, et al.
Published: (2007)
by: زيدان، محمود فهمى, et al.
Published: (2007)
Handbook of mathematical induction : theory and application
by: Gunderson, David S.
Published: (2011)
by: Gunderson, David S.
Published: (2011)
Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings
by: Medina, Raoul, et al.
Published: (2008)
by: Medina, Raoul, et al.
Published: (2008)
Automated knowledge acquisition
by: Sestito, Sabrina
Published: (1994)
by: Sestito, Sabrina
Published: (1994)
Pengantar logik dan pengabstrakan untuk sains komputer
by: Rosni Abdullah, et al.
Published: (2000)
by: Rosni Abdullah, et al.
Published: (2000)
Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)
by: Hein, James L.
Published: (2010)
Discrete mathematics and its applications
by: Rosen, Kenneth H.
Published: (2003)
by: Rosen, Kenneth H.
Published: (2003)
Discrete mathematics and its applications
by: Rosen, Kenneth H.
Published: (2007)
by: Rosen, Kenneth H.
Published: (2007)
Discrete structures with contemporary applications
by: Stanoyevitch, Alexander
Published: (2010)
by: Stanoyevitch, Alexander
Published: (2010)
المنطق في اللسانيات
by: جحفة، عبد المجيد
Published: (2013)
by: جحفة، عبد المجيد
Published: (2013)
Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
by: Ensley, Douglas E., et al.
Published: (2006)
by: Ensley, Douglas E., et al.
Published: (2006)
Using fuzzy logic
by: Yan, Jun, et al.
Published: (1994)
by: Yan, Jun, et al.
Published: (1994)
Handbook on the knowledge economy [electronic resource]
by: Hearn, Greg , 1957-, et al.
Published: (2005)
by: Hearn, Greg , 1957-, et al.
Published: (2005)
Logic programming & type theory [
by: Singleton, Velva, et al.
Published: (2014)
by: Singleton, Velva, et al.
Published: (2014)
Penyediaan graf penyelidikan
by: Amir Khalid
Published: (2016)
by: Amir Khalid
Published: (2016)
Design of logic-based intelligent systems
by: Truemper, K. , 1942-
Published: (2004)
by: Truemper, K. , 1942-
Published: (2004)
Dynamic logic [electronic resource]
by: Harel, David , 1950-, et al.
Published: (2000)
by: Harel, David , 1950-, et al.
Published: (2000)
Aristotelian logic and the Arabic language in Alfarabic [electronic resource]
by: Abed, Shukri
Published: (1991)
by: Abed, Shukri
Published: (1991)
An inductive logic programming approach to statistical relational learning
by: Kersting, Kristian
Published: (2006)
by: Kersting, Kristian
Published: (2006)
Logic : an introduction
by: Churchill, Robert Paul
Published: (1990)
by: Churchill, Robert Paul
Published: (1990)
Knowledge in human society (selected themes of al-Quran) : universe, knowledge, khalifah, amanah, human rights
by: Shahibuddin Laming
Published: (2002)
by: Shahibuddin Laming
Published: (2002)
Spectral logic and its applications for the design of digital devices
by: Karpovsky, Mark G., et al.
Published: (2008)
by: Karpovsky, Mark G., et al.
Published: (2008)
Logic primer
by: Allen, Colin, et al.
Published: (1992)
by: Allen, Colin, et al.
Published: (1992)
The elements of logic
by: Barker, Stephen Francis
Published: (1980)
by: Barker, Stephen Francis
Published: (1980)
Introduction to logic
by: Copi, Irving M.
Published: (1986)
by: Copi, Irving M.
Published: (1986)
ضوابط المعرفة وأصول الاستدلال والمناظرة : صياغة للمنطق وأصول البحث متمشية مع الفكر الإسلامي
by: ميداني، عبد الرحمن حسن حبنكة
Published: (1993)
by: ميداني، عبد الرحمن حسن حبنكة
Published: (1993)