- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet McCune, W.

Showing 1 - 4 of 4 results

Search Results

Cover image for Automated deduction, CADE-14

Automated deduction, CADE-14

by International Conference on Automated Deduction
1997
Format: Electronic

Location
Access Content Online

Cover image for Automated deduction in equational logic and cubic curves

Automated deduction in equational logic and cubic curves

by McCune, W.
1996
Format: Electronic

Location
Access Content Online

Cover image for Automated deduction, CADE-14

Automated deduction, CADE-14

by International Conference on Automated Deduction
1997
Format: Book

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

Cover image for Automated deduction in equational logic and cubic curves

Automated deduction in equational logic and cubic curves

by McCune, W.
1996
Format: Book

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