Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,049,159 papers from all fields of science
Search
Sign In
Create Free Account
Evert Willem Beth
Known as:
Willem
, E W Beth
, Evert W. Beth
Expand
Evert Willem Beth (7 July 1908 – 12 April 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Computer science
First-order logic
Formal system
Institutional model theory
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The Orphan Scandal: Christian Missionaries and the Rise of the Muslim Brotherhood
B. Baron
2014
Corpus ID: 158469392
a fifteen-year-old Muslim orphan girl refused to rise in a show of respect for her elders at her Christian missionary school in…
Expand
2007
2007
Developing and Executing Goal-Based, Adjustably Autonomous Procedures
D. Kortenkamp
,
R. Bonasso
,
D. Schreckenghost
2007
Corpus ID: 16584413
This paper describes an approach to representing, authoring and executing procedures during human spaceflight missions. The…
Expand
2004
2004
Small Animal Ultrasound
R. W. Green
2004
Corpus ID: 68564877
1. The Veterinarian and Ultrasound. (Ronald W. Green). 2. How Ultrasound Works. (Charles S. Farrow). 3. Ultrasound Scanning…
Expand
2002
2002
Cell Cycle Arrest and Repression of Cyclin D 1 Transcription by INI 1 / hSNF 5
Zhi-Kai Zhang
,
K. Davies
,
+4 authors
G. Kalpana
2002
Corpus ID: 31893438
Cell Cycle Arrest and Repression of Cyclin D1 Transcription by INI1/hSNF5 Zhi-Kai Zhang, Kelvin P. Davies, Jeffrey Allen, Liang…
Expand
2002
2002
Steep slope method for real time QRS detection
I. Christov
,
Todor Stoyanov
2002
Corpus ID: 18192362
A method for real time QRS detection by assessment of the signal steep slopes is proposed. It is based on comparison of the…
Expand
1999
1999
Corpus-Based Learning for Noun Phrase Coreference Resolution
Wee Meng Soon
,
H. Ng
,
Chung-Yong Lim
Conference on Empirical Methods in Natural…
1999
Corpus ID: 15767779
In this paper, we present a learning approach for coreference resolution of noun phrases in unrestricted text. The approach…
Expand
1995
1995
Epidermal growth factor induces rapid and transient association of phospholipase C-γ 1 with EGF-receptor and filamentous actin at membrane ruffles of A 431 cells
M. Diakonova
,
B. Payrastre
,
+6 authors
B. Humbel
1995
Corpus ID: 37531047
Maria Diakonova1,*, Bernard Payrastre2, Agnes G. van Velzen3, Willem J. Hage4, Paul M. P. van Bergen en Henegouwen3, Johannes…
Expand
Review
1992
Review
1992
Review of A.W.G. Jaakke, E.W. Tuinstra (red.), Om een verstaanbare bijbel. Nederlandse vertalingen na de Statenbijbel (Haarlem-Brussel 1990)
de Baar
1992
Corpus ID: 192980424
1979
1979
A lower bound on filtering error with application to phase demodulation
J. Galdos
IEEE Transactions on Information Theory
1979
Corpus ID: 2791641
A new lower bound on nonlinear filtering mean square error (MSE) based on rate distortion theory is derived for message and…
Expand
1932
1932
Paul Willem Finsterwalder, Die Canones Theodori Cantuariensis und ihre Überlieferungsformen (Untersuchungen zu den Bussbüchern des 7., 8. und 9. Jahrhunderts), 1929
Michel Andrieu
1932
Corpus ID: 179291070