2 results
Robert Kowalski. Logic for problem solving. Artificial Intelligence Series, no. 7. Elsevier North Holland, Inc., New York and Oxford1979, xiv + 287 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-478
- Print publication:
- June 1982
-
- Article
- Export citation
Robert A. Dipaola. Random sets in subrecursive hierarchies. Journal of the Association for Computing Machinery, vol. 16 (1969), pp. 621–630.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
- Print publication:
- June 1975
-
- Article
- Export citation