Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Logic for problem solving
Home
Publications
Logic for problem solving
Logic for problem solving
RK
Robert Kowalski
Robert Kowalski
SS
Steve Smoliar
Steve Smoliar
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 April 1982
journal article
Published by
Association for Computing Machinery (ACM)
in
ACM SIGSOFT Software Engineering Notes
Vol. 7
(2)
,
61-62
https://doi.org/10.1145/1005937.1005947
Abstract
No abstract available
Cited by 34 articles