Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,668,100 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.
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
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
2001
2001
Susceptibility of parent and interspecific F1 hybrid pine trees to tip moth damage in a coastal North Carolina planting
M. Highsmith
,
J. Frampton
,
D. O'malley
,
J. Richmond
,
M. Webb
2001
Corpus ID: 1919934
Tip moth damage among families of parent pine species and their interspecific F1 hybrids was quantitatively assessed in a coastal…
Expand
2000
2000
Statistical and logical reasoning in disambiguation
S. Pulman
Philosophical Transactions of the Royal Society…
2000
Corpus ID: 18485385
While recent statistical methods for disambiguation in natural language processing have been very successful, earlier arguments…
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
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