Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,857,579 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.
Review
2013
Review
2013
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
M. P. Bonacina
2013
Corpus ID: 262770645
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid…
Expand
2012
2012
Habilidades sociales y de liderazgo en el trastorno por déficit de atención/ hiperactividad: relación con las capacidades cognitivo-atencionales
A. Fernández-Jaén
,
D. M. Fernández-Mayoralas
,
+7 authors
Ana Laura Fernández-Perrone
2012
Corpus ID: 140970546
Objetivo. Analizamos las habilidades sociales y de liderazgo en ninos con TDAH y su relacion con la ejecucion de tareas que…
Expand
2006
2006
The CADE-20 Automated Theorem Proving Competition
G. Sutcliffe
AI Communications
2006
Corpus ID: 16387349
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems…
Expand
2003
2003
Integrating solution-focused and art therapies for substance abuse treatment: guidelines for practice
H. Matto
,
J. Corcoran
,
Andreas Fassler
2003
Corpus ID: 28546203
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
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
Lifetime mating success in male sagebrush crickets: sexual selection constrained by a virgin male mating advantage
Andy W. Snedden
Animal Behaviour
1996
Corpus ID: 53173915
Abstract Lifetime mating success of individually marked, male sagebrush crickets, Cyphoderris strepitans , was studied in a field…
Expand
Highly Cited
1992
Highly Cited
1992
Acoustic signalling and its relation to male mating success in sagebrush crickets
W. A. Snedden
,
S. Sakaluk
Animal Behaviour
1992
Corpus ID: 43388327
1965
1965
Observations on Metabolism of Sodium Chloride in the Red Crossbill
W. Dawson
,
V. H. Shoemaker
,
H. B. Tordoff
,
A. Borut
1965
Corpus ID: 53642352
OVER the past five years the capacities of several land birds for obtaining osmotically unobligated water from saline solutions…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE