Cargando…

Automated deduction - CADE-21: 21st international conference on automated deduction, Bremen, Germany, July 17-20, 2007, proceedings

Detalles Bibliográficos
Autor principal:	Pfenning, Frank
Lenguaje:	eng
Publicado:	Springer 2007
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2762954

Ejemplares similares

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 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings
por: Fontaine, Pascal
Publicado: (2019)

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

Automated deduction: a basis for applications
por: Bibel, Wolfgang, et al.
Publicado: (1998)

Automated deduction in geometry: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papers
por: Schreck, Pascal, et al.
Publicado: (2011)

An Automated Deductive Verification Framework for Circuit-building Quantum Programs
por: Chareton, Christophe, et al.
Publicado: (2021)

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

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

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

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

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

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

Logique déductive et inductive
Publicado: (1908)

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

A deduction model of belief
por: Konolige, Kurt
Publicado: (1986)

Uncertain deduction and conditional reasoning
por: Evans, Jonathan St. B. T., et al.
Publicado: (2015)

Inductive and Deductive Methods of Study
por: Betty, E. G.
Publicado: (1879)

James Wardrop: Science of deduction
por: Sen, Mrittika, et al.
Publicado: (2021)

Palaeoecological deductions from osteohistology
por: Chinsamy, Anusuya
Publicado: (2023)

Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers
por: Botana, Francisco, et al.
Publicado: (2015)

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

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

Deductive‐reasoning brain networks: A coordinate‐based meta‐analysis of the neural signatures in deductive reasoning
por: Wang, Li, et al.
Publicado: (2020)

Business information systems: 21st international conference, BIS 2018, Berlin, Germany, July 18-20, 2018, proceedings
por: Abramowicz, Witold, et al.
Publicado: (2018)

Intuition et déduction en mathématiques
por: Leclercq, Bruno
Publicado: (2015)

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

A METHOD OF ANATOMY: Descriptive and Deductive
Publicado: (1959)

The truth about tax credits and deductions
por: Bell, S Kay, et al.
Publicado: (2011)

Foundations of Deductive Databases and Logic Programming
por: Minker, Jack
Publicado: (2014)

Factors and processes in children's transitive deductions
por: Wright, Barlow C., et al.
Publicado: (2015)

Imaging deductive reasoning and the new paradigm
por: Oaksford, Mike
Publicado: (2015)

A Method of Anatomy: Descriptive and Deductive
Publicado: (1940)

A Method of Anatomy: Descriptive and Deductive
Publicado: (1938)

Moral hazard and selection for voluntary deductibles
por: Alessie, Rob J. M., et al.
Publicado: (2020)

Inductive or deductive? Research by maxillofacial surgeons
por: Kim, Soung Min
Publicado: (2021)

Health Tract, No. 306: Rational Deductions
Publicado: (1867)

Deductions from Ferran’s Inoculation Statistics
por: Winans, J. E.
Publicado: (1887)

The Consistent Preferences Approach to Deductive Reasoning in Games
por: Asheim, Geir B
Publicado: (2006)

The relativistic deduction: epistemological implications of the theory of relativity
por: Meyerson, Emile
Publicado: (1985)

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

Cannot write session to /tmp/vufind_sessions/sess_b0bqo3nq2ie5ctk4259mhunu3p