Jump to main content

yr 〜
yr

Search results 3

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings : gw : us

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings : gw : us
Paper図書
M.E. Stickel (ed.)Springer-Verlagc1990
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Stickel, Mark E.

Research on interactive acquisition and use of knowledge : interim report for the period July 1981-January 1982

Research on interactive acquisition and use of knowledge : interim report for the period July 1981-January 1982
Paper図書
edited by Mark E. Stickel ; prepared for Defense Advanced Research Projects Agency, Information Processing Techniques Office[National Technical Information Service, U.S. Dept. of Commerce][1983]
Other Libraries in Japan
  • Author HeadingStickel, Mark E. SRI International

Mechanical theorem proving and artificial intelligence languages

Mechanical theorem proving and artificial intelligence languages
Paper図書
Mark E. StickelUniversity Microfilms International1977
Other Libraries in Japan
  • Author HeadingStickel, Mark E.

Reached to the end of result.

RSS