Jump to main content

yr 〜
yr

Search results 11

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

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

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

A computational logic

A computational logic
Paper図書
Robert S. Boyer and J. Strother MooreAcademic Pressc1979
Other Libraries in Japan

PX, a computational logic

PX, a computational logic
Paper図書
Susumu Hayashi, Hiroshi NakanoMIT Pressc1988
Other Libraries in Japan

A computational logic handbook

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

PX a computational logic

PX a computational logic
Paper図書
Susumu Hayashi & Hiroshi NakanoResearch Institute for Mathematical Sciences Kyoto University1987
Other Libraries in Japan

ACM monograph series

ACM monograph series
Paper図書
Academic Press
Other Libraries in Japan
  • Related Material...ry of automata A computational logic Approximate calculation of in...

Academic Press international series in formal methods

Academic Press international series in formal methods
Paper図書
Academic Press
Other Libraries in Japan
  • Related MaterialA computational logic handbook Teaching and learnin...

Perspectives in computing

Perspectives in computing
Paper図書
Academic Press
Other Libraries in Japan
  • Related Material...ircuit testing A computational logic handbook Machine vision for i...

MIT Press series in the foundations of computing

MIT Press series in the foundations of computing
Paper図書
MIT Press
Other Libraries in Japan
  • Related Material...th problem PX, a computational logic The stable marriage problem :...

Reached to the end of result.

RSS