Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,274,503 papers from all fields of science
Search
Sign In
Create Free Account
gliding
Known as:
glide
, glides
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2003
2003
Guiding linear deductions with semantics
Marianne Brown
2003
Corpus ID: 15493999
Guidance is a central issue in Automatic Theorem Proving systems due to the enormity of the search space that these systems…
Expand
1992
1992
A GIS evaluation of land use dynamics and fish habitat in the salmon river watershed - Langley, B.C.
R. Watts
1992
Corpus ID: 131638298
With increased urban development in the Fraser River Basin, it is expected that fish habitat degradation will become more…
Expand