Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,332,621 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.
2017
2017
Inclusão dos alunos com necessidades educacionais especiais na EJA: desafios e perspectivas
Marcia Brandão Santos Cade
2017
Corpus ID: 164937032
Este estudo apresenta uma analise sobre a insercao dos alunos com deficiencia intelectual em uma turma de educacao de jovens e…
Expand
2016
2016
Mother's perception of her child's growth in rural Malawi
Riina Komonen
2016
Corpus ID: 151337946
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
2005
2005
Criadores se dividem entre denúncia no CADE e diálogo na Expozebu
A. redação
2005
Corpus ID: 163530265
Contem: Uniao Europeia prepara nova barreira para a carne Clipe Coma mais carne / Carolina Porto P. Barreto
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. del 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
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
1986
1986
RETURNING WOMEN STUDENTS IN THE COMMUNITY COLLEGE: A FEMINIST PERSPECTIVE (RE-ENTRY WOMEN)
Mary Bray Schatzkamer
1986
Corpus ID: 151159190