Jump to main content

yr 〜
yr

Search results 7

A computational logic handbook / Robert S. Boyer, J. Strother Moore. (Perspectives in computing ; vol. 23)

A computational logic handbook / Robert S. Boyer, J. Strother Moore. (Perspectives in computing ; vol. 23)
Paper図書
Academic Pressc1988.<M159-A69>
National Diet LibraryOther Libraries in Japan
  • Author HeadingBoyer, Robert S. Moore, J. Strother, 1947-

A computational logic handbook 2nd ed.

A computational logic handbook 2nd ed.
Paper図書
Robert S. Boyer and J Strother MooreAcademic Pressc1998
Other Libraries in Japan
  • Author HeadingBoyer, Robert S. Moore, J. Strother

A computational logic / Robert S. Boyer and J Strother Moore. (ACM monograph series)

A computational logic / Robert S. Boyer and J Strother Moore. (ACM monograph series)
Paper図書
Academic Pressc1979.<M159-123>
National Diet Library
  • Author HeadingBoyer, Robert S. Moore, J Strother, 1947-

Automated reasoning : essays in honor of Woody Bledsoe

Automated reasoning : essays in honor of Woody Bledsoe
Paper図書
edited by Robert S. BoyerKluwer Academic Publishers Groupc1991
Other Libraries in Japan
  • Author HeadingBledsoe, W. W. Boyer, Robert S.

A computational logic handbook

A computational logic handbook
Paper図書
Robert S. Boyer, J. Strother MooreAcademic Pressc1988
Other Libraries in Japan
  • Author HeadingBoyer, Robert S. Moore, J. Strother

The Correctness problem in computer science

The Correctness problem in computer science
Paper図書
edited by R.S. Boyer and J. Strother MooreAcademic Press1981
Other Libraries in Japan
  • Author HeadingBoyer, Robert S. Moore, J. Strother

A computational logic

A computational logic
Paper図書
Robert S. Boyer and J. Strother MooreAcademic Pressc1979
Other Libraries in Japan
  • Author HeadingBoyer, Robert S. Moore, J. Strother

Reached to the end of result.

RSS