Cargando…

Foundations of Deductive Databases and Logic Programming

Detalles Bibliográficos
Autor principal:	Minker, Jack
Lenguaje:	eng
Publicado:	Morgan Kaufmann 2014
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2751797

Ejemplares similares

Studying deductive logic /
por: Berger, Fred R., 1937-
Publicado: (1977)

Introduction to logic and the methodology of deductive sciences
por: Tarski, Alfred
Publicado: (1995)

Natural Deduction, Hybrid Systems and Modal Logics
por: Indrzejczak, Andrzej
Publicado: (2010)

Deductive databases : theory and applications
por: Dahr, Michael, 1963-
Publicado: (1997)

Dependencies in Deductive Databases./
por: Hernández, Héctor J.

Mathematical logic: foundations for information science
por: Li, Wei
Publicado: (2010)

Foundations of inductive logic programming /
por: Nienhuys-Cheng, S. -H. (Shan-Hwei), 1943-
Publicado: (1997)

Foundations of Fuzzy Logic and Semantic Web Languages
por: Straccia, Umberto
Publicado: (2016)

Building a deductive database
por: Nussbaum, Miguel
Publicado: (1992)

J.K. Lasser's 1001 Deductions and Tax Breaks 2015: Your Complete Guide to Everything Deductible
por: Weltman, Barbara
Publicado: (2014)

J.K. Lasser's 1001 Deductions and Tax Breaks 2013: Your Complete Guide to Everything Deductible
por: Weltman, Barbara
Publicado: (2012)

Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings
por: Fontaine, Pascal
Publicado: (2019)

Automated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedings
por: Felty, Amy P, et al.
Publicado: (2015)

Automated deduction - CADE-22: 22nd international conference on automated deduction, Montreal, Canada, August 2-7, 2009 proceedings
por: Schmidt, Renate
Publicado: (2009)

Automated deduction - CADE-21: 21st international conference on automated deduction, Bremen, Germany, July 17-20, 2007, proceedings
por: Pfenning, Frank
Publicado: (2007)

Introduction to logic programming
por: Genesereth, Michael, et al.
Publicado: (2020)

The logical foundations of mathematics
por: Hatcher, William S, et al.
Publicado: (1981)

J.K. Lasser's 1001 Deductions and Tax Breaks 2018
por: Weltman, Barbara
Publicado: (2017)

Foundations of mathematical logic
por: Curry, Haskell B. 1900-1982 (Haskell Brooks)
Publicado: (1977)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

Foundations of Python network programming
por: Goerzen, John
Publicado: (2004)

Logicism renewed: logical foundations for mathematics and computer science
por: Gilmore, Paul C
Publicado: (2005)

Logical Foundations of Proof Complexity
por: Cook, Stephen, et al.
Publicado: (2010)

The logical foundations of statistical inference
por: Kyburg, Henry E
Publicado: (1974)

Logical foundations of artificial intelligence
por: Genesereth, Michael R, et al.
Publicado: (1987)

Five papers on logic and foundations
por: Ceitin, G S, et al.
Publicado: (1971)

Five papers on logic and foundations
por: Ceitin, G S, et al.
Publicado: (1972)

Labelled deduction
por: Basin, David, et al.
Publicado: (2000)

Pathways of deduction
por: Carbone, A
Publicado: (2000)

Logical foundations of artificial intelligence
por: Genesereth, Michael R., 1948-
Publicado: (1986)

Deductive Biocomputing
por: Shrager, Jeff, et al.
Publicado: (2007)

Program Synthesis Using Deduction-Guided Reinforcement Learning
por: Chen, Yanju, et al.
Publicado: (2020)

Foundations of the logical theory of scientific knowledge : complex logic
por: Zinov'ev, A. A.
Publicado: (1973)

Mathematical logic: foundations for information science
por: Li, Wei
Publicado: (2014)

Leśniewski's systems of logic and foundations of mathematics
por: Urbaniak, Rafal
Publicado: (2014)

Feferman on foundations: logic, mathematics, philosophy
por: Jäger, Gerhard, et al.
Publicado: (2017)

Fuzzy logic foundations and industrial applications
por: Ruan, Da
Publicado: (1996)

Mathematical logic and the foundations of mathematics : an introductory survey /
por: Kneebone, G. T.
Publicado: (1963)

15th international conference on Inductive Logic Programming
por: Kramer, Stefan, et al.
Publicado: (2005)

Cannot write session to /tmp/vufind_sessions/sess_4rknohr1q7p4h5rgt12vvu2mnt