Yazar
robert s boyer
6 cilt bulundu.
Robert S. Boyer · Elsevier Science & Technology Books
408 sayfa · 1988
Automatic theorem proving / Symbolic and mathematical Logic / Logic, symbolic and mathematical
Robert S. Boyer · Academic Press
397 sayfa · 1979
Automatic theorem proving / Logic, symbolic and mathematical
Robert S. Boyer · Kluwer Academic Publishers
365 sayfa · 1991
Artificial intelligence / Automatic theorem proving
Robert S. Boyer, J. Strother Moore · Academic Press
512 sayfa · 1997
Mathematics / Computer Books: Operating Systems / Logic / Computer Programming / Mathematical theory of computation
Marlow Anderson, Victor J. Katz, Robin J. Wilson, Robert Creighton Buck, Eleanor Robson, Max Dehn, J. D. Swift, A. W. Richeson, Michael A. B. Deakin, Frank Swetz, Jr, Philip D. Straffin, Eells, · American Mathematical Society