Robert S. Boyer and J Strother Moore. A computational logic. ACM monograph series. Academic Press, New York etc. 1979, xiv + 397 pp. - Robert S. Boyer and J Strother Moore. A computational logic handbook. Perspectives in computing, vol. 23. Academic Press, Boston etc. 1988, xvi + 408 pp.

1990 ◽  
Vol 55 (3) ◽  
pp. 1302-1304
Author(s):  
Dale Miller
Sign in / Sign up

Export Citation Format

Share Document