Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,148,346 papers from all fields of science
Search
Sign In
Create Free Account
CADE ATP System Competition
Known as:
CASC
The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical first order logic. CASC is associated…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Association for Automated Reasoning
Automated theorem proving
Competitions and prizes in artificial intelligence
Conference on Automated Deduction
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Modelling of Metal Oxide Surge Arresters in Simulation Software DYNAST
Vladislav Síťař
,
Jan Veleba
2017
Corpus ID: 33432141
This paper describes the possibilities for mathematical modelling of gap-less surge arresters in the simulation software DYNAST…
Expand
2012
2012
Neuroscience - Dealing With Frontiers
C. M. Contreras
2012
Corpus ID: 147823372
2012
2012
Response of some rice (Oryza sativa L.) cultivars to germination under salinity stress.
A. Kandil
,
A. Sharief
,
E. Nassar
2012
Corpus ID: 82686469
The purpose of this study was found out to investigate the response of some rice (Oryza sativa L.) cultivars to germination…
Expand
2011
2011
Problemy eksploatacji elektroenergetycznych sieci rozdzielczych średniego napięcia w aspekcie niezawodności elektroenergetycznej automatyki zabezpieczeniowej
W. Nowak
,
S. Moskwa
,
R. Tarko
2011
Corpus ID: 106518079
Artykuł wpisuje się w problematykę eksploatacji sieci rozdzielczych średniego napięcia w aspekcie prawidłowego działania…
Expand
Review
2011
Review
2011
On the metabolic origin of cancer: substances that target tumor metabolism
Maurice Isral
,
L. Schwartz
2011
Corpus ID: 59581180
Work from our group and others clearly suggest the key role of altered metabolism in cancer. The goal of this review is to…
Expand
2008
2008
Transient transformer inrush currents due to closing time- and residual flux measurement-deviations if controlled switching is used (EEUG Meeting 2007: European EMTP-ATP Conference) -- (Applications…
A. Ebner
2008
Corpus ID: 16661245
During energisation of power transformers, transient inrush currents with peaks up to the short-circuit current may arise. Using…
Expand
2002
2002
Molecular Dissection of the E Subunit of the Chloroplast ATP Synthase of Spinach’
Jeffrey
,
Cruz
,
+7 authors
Mccarty
2002
Corpus ID: 43670343
The gene encoding the E subunit (atpf?) of the chloroplast ATP synthase of Spinacia oleracea has been overexpressed in…
Expand
1996
1996
Atp-lipids - protein anchor and energy source in two dimensions
L. Schmitt
,
R. Tampé
1996
Corpus ID: 67833439
The ubiquitous function of ATP as energy equivalent in nature has resulted in a common folding pattern of ATP-binding proteins…
Expand
1986
1986
Nitrate or ammonium nutrition in french bean
S. Chaillou
,
J. Morot-Gaudry
,
C. Lesaint
,
L. Salsac
,
E. Jolivet
Plant and Soil
1986
Corpus ID: 10173530
SummaryBean Plants were grown in a greenhouse in sand irrigated with nutrient solutions containing either 2 mM NO3− or 2 mM NH4…
Expand
1976
1976
Biochemical and Cytochemical Studies of Alkaline Phosphatase Activity in Schistosoma Mansoni
S. Ernst
1976
Corpus ID: 59025943
Cytochemical localization of a lkal ine phosphatase activity in Schistosoma mansoni showed P-glycerophosphate (PGP), glucose…
Expand