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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
In Brazil, the National Cancer Institute (INCA) reports more than 50,000 new cases of the disease, with risk of 51 cases per 100… (More)
Is this relevant?
2013
2013
BliStr is a system that automatically develops strategies for E prover on a large set of problems. The main idea is to interleave… (More)
Is this relevant?
2009
2009
Title Type automated deduction cade 22 22nd international conference on automated deduction montreal canada PDF automated… (More)
Is this relevant?
2009
2009
Despite strong evidence that cognitive representations of speech targets rely upon a mapping between perceptual and motor… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Male crickets (Orthoptera: Gryllidae) compete for females through direct physical aggression (ALEXANDER, 1961; BURK, 1983; BOAKE… (More)
Is this relevant?
Review
2007
Review
2007
Many years ago various new concepts have been introduced into Isabelle to support the Isar proof language. While the original… (More)
  • figure 3
  • figure 4
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2000
2000
Thank you very much for downloading automated deduction cade 17 17th international conference on automated deduction pittsburgh… (More)
Is this relevant?
1994
1994
We may not be able to make you love reading, but automated deduction cade 12 12th international conference on automated deduction… (More)
Is this relevant?
1992
1992
We may not be able to make you love reading, but automated deduction cade 11 11th international conference on automated deduction… (More)
Is this relevant?
1982
1982
Come with us to read a new book that is coming recently. Yeah, this is a new coming book that many people really want to read… (More)
Is this relevant?