My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
AUTHORS (1-7 of 7)
Loveland, Donald W.
1
Cover Art
    E-RESOURCE 1982

6th Conference on Automated Deduction : New York, USA, June 7-9, 1982 / edited by D.W. Loveland.

    Conference on Automated Deduction (6th : 1982 : New York, N.Y.)
Berlin ; New York : Springer-Verlag,        1 online resource (vii, 389 pages). 1982
2
Cover Art
    E-RESOURCE 1982

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 / edited by D.W. Loveland.

    Conference on Automated Deduction (6th : 1982 : New York, N.Y.)
Berlin ; New York : Springer-Verlag,        vii, 389 pages ; 25 cm. 1982
3
Cover Art
    PRINTED BOOKS 1978

Automated theorem proving : a logical basis / Donald W. Loveland.

    Loveland, Donald W.
Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributor for the U.S.A. and Canada, Elsevier North-Holland,        xii, 405 pages : illustrations ; 23 cm. 1978
4
Cover Art
    PRINTED BOOKS 1984

Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

    Special Session on Automatic Theorem Proving (1983 : Denver, Colo.)
Providence, R.I. : American Mathematical Society,        ix, 360 p. ; 26 cm. 1984
5
Cover Art
    E-RESOURCE 1984

Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

    Special Session on Automatic Theorem Proving (1983 : Denver, Colo.), issuing body.
Providence, Rhode Island : American Mathematical Society,        1 online resource (371 pages) : illustrations. 1984
6
Cover Art
    E-RESOURCE 2014

Three views of logic : mathematics, philosophy, and computer science / Donald W Loveland, Richard E. Hodel, S. G. Sterrett.

    Loveland, Donald W.
Princeton, New Jersey : Princeton University Press,        1 online resource (339 pages) 2014
7
Cover Art
    E-RESOURCE 2014

Three Views of Logic : Mathematics, Philosophy, and Computer Science.

    Loveland, Donald W.
Princeton : Princeton University Press,        1 online resource (339 pages) 2014
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove