Search or ask a question
Pricing
Login
Sign up
Home
Notebook
Profile
Citation booster
Literature Review
Copilot
Citation generator
Paraphraser
AI Detector
Chrome Extension
Talk with us
Use on ChatGPT
Home
/
Conferences
/
Formal Methods
/
1959
Showing papers presented at "Formal Methods in 1959"
PDF
Open Access
Year
Type
Authors
Institutions
Topics
Journals & Conferences (1)
Clear filters
Sort by:
Citation Count
Proceedings Article
•
DOI
•
Analytical Determination of Optimum Bit Weight and Rotary Speed Combinations
[...]
J.W. Graham
,
N.L. Muench
01 Jan 1959
Go to Paper
18
citations
Save
Cite
Share
Proceedings Article
•
DOI
•
(D,T) Neutron Activation Logging
[...]
Arthur H. Youmans
,
Eric C Hopkinson
,
Richard M. Stewart
01 Jan 1959
Go to Paper
4
citations
Save
Cite
Share
Proceedings Article
•
DOI
•
Energy Transmission in Percussive Drilling
[...]
C. Fairhurst
1
•
Institutions (1)
University of Minnesota
1
01 Jan 1959
Go to Paper
3
citations
Save
Cite
Share
Proceedings Article
•
DOI
•
The Influence of Geometry Upon Acoustic Logging Signals
[...]
C.B. Vogel
1
,
W.M. Hubbard
1
•
Institutions (1)
Royal Dutch Shell
1
01 Jan 1959
Go to Paper
1
citations
Save
Cite
Share
