- ECU Libraries Catalog

Start Over

You searched for: author_facet Loveland, Donald W.

Showing 1 - 4 of 4 results

Search Results

Cover image for Automated theorem proving

Automated theorem proving

by Special Session on Automatic Theorem Proving
1984
Format: Electronic

Location
Access Content Online

Cover image for Automated theorem proving

Automated theorem proving

by Special Session on Automatic Theorem Proving
1984
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.A96 S64 1983	✔ Available

Cover image for Automated theorem proving

Automated theorem proving

by Loveland, Donald W.
1978
Format: Electronic

Location
Access Content Online

Cover image for Automated theorem proving

Automated theorem proving

by Loveland, Donald W.
1978
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.A96 L68	✔ Available