Statistics
Publications
1
Citations
1.2K
H-Index
1
Active since
1982
Affiliations
Schlumberger (United States)(Current)
Steve Smoliar is an author at Schlumberger (United States) specializing in theory of computation, computational logic, and automated reasoning.
Publications per year
1982–1982
1
1
Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations
1–1 of 1