Skip to search formSkip to main contentSkip to account menu

Evert Willem Beth

Known as: Willem, E W Beth, Evert W. Beth 
Evert Willem Beth (7 July 1908 – 12 April 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Computer scienceFirst-order logicFormal systemInstitutional model theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
GPU-Accelerated Method of Moments by Example: Monostatic Scattering
In this paper, we combine and extend two of our previous works to provide a more complete solution for the GPU acceleration of… 
Highly Cited
2005
Highly Cited
2005
Cross-Categorial Restrictions on Measure Phrase Modification
Les syntagmes de mesure peuvent etre modifies par des prepositions (ten meters behind the house), par des adjectifs (five years… 
Review
2003
Review
2003
Using Automated Tools to Improve Web Site Usage by Users with Diverse Abilities
The World Wide Web plays an important role in our society—enabling broader access to information and services than was previously… 
Review
2003
Review
2003
Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes…
As it says in chapter 10, in the 1970s there was a ‘. . . golden age of programming when program construction was regarded as an… 
Highly Cited
2003
Highly Cited
2003
Overprinting faulting mechanisms during the development of multiple fault sets in sandstone, Chimney Rock fault array, Utah, USA
2001
2001
Nuclear Gasdynamics in Arp 220: Subkiloparsec-Scale Atomic Hydrogen Disks
We present new, high angular resolution (~0.″22) MERLIN observations of neutral hydrogen (H I) absorption and λ21 cm radio… 
Highly Cited
2000
Highly Cited
2000
Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award)
From about the mid-1980' s to the mid-1990' s there was a flurry of research activity in the area of database triggers and… 
1996
1996
Adaptive resonance theory based neural network for supervised chemical pattern recognition (FuzzyARTMAP) Part 2: Classification of post-consumer plastics by remote NIR spectroscopy using an InGaAs…
Review
1993
Review
1993
Systems of Care for Children and Adolescents with Severe Emotional Disturbances: What Are the Results?.
This monograph explains the community-based systems of care approach to providing services for children and youth with emotional… 
Review
1981
Review
1981
Protohistory in the Wadi Ghazzeh : a typological and technological study based on the Macdonald excavations
This study reanalyzes the material from the excavations and survey of Eann Macdonald in the Wadi Ghazzeh in 1929-30 which are… 
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)