Jump to main content

yr 〜
yr

Search results 6

Three views of logic : mathematics, philosophy, and computer science : [pbk.]

Three views of logic : mathematics, philosophy, and computer science : [pbk.]
Paper図書
Donald W. Loveland, Richard E. Hodel, S.G. SterrettPrinceton University Pressc2014
Other Libraries in Japan
  • Author HeadingLoveland, Donald W. Hodel, Richard E. Sterrett, S...

Automated theorem proving in software engineering

Automated theorem proving in software engineering
Paper図書
Johann M. Schumann ; foreword by Donald LovelandSpringerc2001
Other Libraries in Japan
  • Author HeadingSchumann, Johann M. Loveland, Donald W.

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 / edited by D.W. Loveland. (Lecture notes in computer science ; 138)

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 / edited by D.W. Loveland. (Lecture notes in computer science ; 138)
Paper図書
Springer-Verlag1982.<M159-143>
National Diet Library
  • Author HeadingConference on Automated Deduction (6th : 1982 : New York, N.Y.) Loveland, Donald W.

Automated theorem proving : after 25 years : pbk

Automated theorem proving : after 25 years : pbk
Paper図書
W.W. Bledsoe and D.W. Loveland, editorsAmerican Mathematical Societyc1984
Other Libraries in Japan
  • Author Heading...Bledsoe, W. W. Loveland, Donald W. American Mathematical Society

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 : gw : us

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 : gw : us
Paper図書
edited by D.W. LovelandSpringer-Verlag1982
Other Libraries in Japan
  • Author HeadingLoveland, Donald W. Conference on Automated Deduc...

Automated theorem proving : a logical basis

Automated theorem proving : a logical basis
Paper図書
Donald W. LovelandNorth-Holland Pub. Co1978
Other Libraries in Japan
  • Author HeadingLoveland, Donald W.

Reached to the end of result.

RSS