Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,159,864 papers from all fields of science
Search
Sign In
Create Free Account
Conference on Automated Deduction
The Conference on Automated Deduction (CADE) is the premier academic conference on automated deduction and related fields. The first CADE was…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Association for Automated Reasoning
Automated reasoning
Automated theorem proving
CADE ATP System Competition
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Cade l’obbligo di intervento chirurgico per la rettificazione anagrafica del sesso. Nota a Cass. 22 luglio 2015, n. 15138
D. Amram
2015
Corpus ID: 185984185
2010
2010
Análisis del servicio y nivel de satisfacción del ciudadano en la red Cade, Supercade Cad en Bogotá D.C. convenio académico de apoyo interinstitucional Universidad de La Salle y la secretaría General…
Leonela Maritza Bautista Tellez
,
Paola Andrea Hernández Amézquita
2010
Corpus ID: 164608503
2004
2004
Estudio comparativo sobre los costes de mantenimiento y rentabilidad económica, social y deportiva entre campos de fútbol con pavimentos de césped natural y artificial en el ámbito universitario
Jesús Sebastián Damas Arroyo
,
F. Hernández
,
Raúl Reina Vaíllo
,
V. D. Campo
2004
Corpus ID: 141540864
In this work, we analyse the characteristics of a synthetic surface, last generation surface for soccer’s practice. Due to the…
Expand
2004
2004
A method of air defence hiding in EIS of CADE
Pengjie Fan
2004
Corpus ID: 113059653
Information System of Civil Air Defence Engineering,is a software system based on ArcView?This paper mainly deals with how people…
Expand
2002
2002
Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
A. Voronkov
2002
Corpus ID: 118323969
Description Logics and Semantic Web.- Reasoning with Expressive Description Logics: Theory and Practice.- BDD-Based Decision…
Expand
1999
1999
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
H. Ganzinger
1999
Corpus ID: 118676232
Session 1.- A Dynamic Programming Approach to Categorial Deduction.- Tractable Transformations from Modal Provability Logics into…
Expand
1996
1996
Automated Deduction Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings
M. McRobbie
,
J. Slaney
1996
Corpus ID: 117749577
Saturation-based theorem proving: Past successes and future potential.- A resolution theorem prover for intuitionistic logic…
Expand
Review
1994
Review
1994
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
A. Bundy
1994
Corpus ID: 58720746
This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at…
Expand
1986
1986
RETURNING WOMEN STUDENTS IN THE COMMUNITY COLLEGE: A FEMINIST PERSPECTIVE (RE-ENTRY WOMEN)
Mary Bray Schatzkamer
1986
Corpus ID: 151159190
1940
1940
Empire Drug Cultivation
Nature
1940
Corpus ID: 4123132
THE memorandum on medicinal herb production recently issued by the Ministry of Health (NATURE, Sept. 21, p. 397) confined its…
Expand