Jump to main content

yr 〜
yr

Search results 9

Computer-aided reasoning : ACL2 case studies

Computer-aided reasoning : ACL2 case studies
Paper図書
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother MooreKluwer Academicc2000
Other Libraries in Japan
  • Author HeadingKaufmann, Matt Manolios, Panagiotis Moore, J. Strother

Computer-aided reasoning : an approach

Computer-aided reasoning : an approach
Paper図書
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother MooreKluwer Academicc2000
Other Libraries in Japan
  • Author HeadingKaufmann, Matt Manolios, Panagiotis Moore, J. Strother

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

Piton : a mechanically verified assembly-level language

Piton : a mechanically verified assembly-level language
Paper図書
by J. Strother MooreKluwer Academic Publishers1996
Other Libraries in Japan
  • Author HeadingMoore, J. Strother

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

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-

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

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

Reached to the end of result.

RSS