Cargando…

Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings

Detalles Bibliográficos
Autor principal:	Fontaine, Pascal
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755238

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-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)

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

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)

Geometric science of information: 4th international conference, GSI 2019, Toulouse, France, August 27-29, 2019, proceedings
por: Nielsen, Frank, et al.
Publicado: (2019)

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

Queueing theory and network applications: 14th international conference, QTNA 2019, Ghent, Belgium, August 27-29, 2019, proceedings
por: Phung-Duc, Tuan, et al.
Publicado: (2019)

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

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

Formal modeling and analysis of timed systems: 17th international conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, proceedings
por: André, Étienne, et al.
Publicado: (2019)

Image analysis and recognition: 16th international conference, ICIAR 2019, Waterloo, ON, Canada, August 27-29, 2019, proceedings, part I
por: Karray, Fakhri, et al.
Publicado: (2019)

Image analysis and recognition: 16th international conference, ICIAR 2019, Waterloo, ON, Canada, August 27-29, 2019, proceedings, part II
por: Karray, Fakhri, et al.
Publicado: (2019)

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: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papers
por: Schreck, Pascal, et al.
Publicado: (2011)

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)

Advances in biometrics: international conference, ICB 2007, Seoul, Korea, August 27-29, 2007, proceedings
por: Lee, Seong-Whan, et al.
Publicado: (2007)

27th International Conference on Magnet Technology (MT-27)
por: Collective
Publicado: (2022)

Preface: Special Issue of Selected Extended Papers of CADE 2019
por: Fontaine, Pascal
Publicado: (2021)

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)

Cannot write session to /tmp/vufind_sessions/sess_mjji68rkkoqoe8a7951m55fm9r