Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,301 papers from all fields of science
Search
Sign In
Create Free Account
Isabelle
Known as:
Isabelle proof assistant
, Isabelle (disambiguation)
, Isabelle software
Expand
The Isabelle theorem prover is an interactive theorem prover, a Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Automated reasoning
First-order logic
Formal methods
HP 9000
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Meaningful spatial prediction and aggregation
C. Stasch
,
S. Scheider
,
E. Pebesma
,
W. Kuhn
Environmental Modelling & Software
2014
Corpus ID: 17758238
2013
2013
Multilinguisme, variation, contact. Des pratiques langagières sur le terrain à l'analyse de corpus hétérogènes
Isabelle Léglise
2013
Corpus ID: 165037263
Ce memoire de synthese presente un premier chapitre de positionnements epistemologiques (pratiques langagieres, construction des…
Expand
Review
2011
Review
2011
Development of the ROV SCINI and deployment in McMurdo Sound, Antarctica
F. Cazenave
,
R. Zook
,
D. Carroll
,
M. Flagg
,
Stacy Kim
2011
Corpus ID: 130054085
Remotely Operated Vehicles (ROVs) are powerful tools whose use has become common in many aquatic systems, for many purposes, from…
Expand
Review
2008
Review
2008
Computerizing Mathematical Text with MathLang
Fairouz Kamareddine
,
J. Wells
Workshop on Logical and Semantic Frameworks with…
2008
Corpus ID: 7853863
Highly Cited
2006
Highly Cited
2006
Stable isotopes in subtidal food webs: Have enriched carbon ratios in benthic consumers been misinterpreted?
M. Nadon
,
J. Himmelman
2006
Corpus ID: 16556146
We examined the hypothesis that the δ13C of benthic consumers is depleted in offshore, deeper waters where kelp and benthic…
Expand
2005
2005
Animals and ambivalence: governing farm animal welfare in the European food sector
M. Miele
,
J. Murdoch
,
E. Roe
2005
Corpus ID: 16831300
That humans exploit animals, often in cruel ways, is not open to doubt. Reponsibility for exploitation and cruelty lies…
Expand
Highly Cited
2002
Highly Cited
2002
The Impacts of LBOs on the Performance of Acquired Firms: The French Case
Ph Desbrieres
,
A. Schatt
2002
Corpus ID: 7012913
This paper investigates the financial characteristics and changes in performance of French companies involved in a leveraged buy…
Expand
2002
2002
Drugs and decision-making in the European Union
T. B. V. Solinge
2002
Corpus ID: 152956213
1997
1997
Art Markets and Economics: Introduction
B. Frey
1997
Corpus ID: 142541511
There are close relationships between art and social science. This is certainly one of the features which has attracted many…
Expand
Highly Cited
1993
Highly Cited
1993
Order-sorted polymorphism in Isabelle
T. Nipkow
1993
Corpus ID: 17660122
ML-style polymorphism can be generalized from a single-sorted algebra of types to an order-sorted one by adding a partially…
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