Search for 'Provider:Academic Press, and se:Computer science and applied mathematics'

Symbolic logic and mechanical theorem proving

By Chang, Chin-Liang. San Diego: Academic Press, 1973 . xiii, 331 p.; 24 cm.. 0121703509

By Rosenfeld, Azriel. London: Academic Press, 1982 . xiii, 435 p.; 23 cm.. 0125973012

By Rosenfeld, Azriel. Orlando: Academic Press, 1982 . xii, 349 p.; 23 cm.. 0125973020

By Yasuhara, Ann. New York: Academic Press, 1971 . xv, 338 p.; 24 cm.. 9780127689508

By Lancaster, Peter. San Diego: Academic Press, 1985 . 570 p.; 23 cm.. 0124355609