proving - ECU Libraries Catalog

Start Over

You searched for: Keywords proving

Showing 11 - 20 of 9880 results

Search Results

Cover image for Proving grounds

Proving grounds

2015
1st edition
Format: Electronic

Location
Access Content Online

Cover image for Proving our freedom

Proving our freedom

1960
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

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 Special Session on Automatic Theorem Proving
1984
Format: Book

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

Cover image for Proving International Crimes

Proving International Crimes

by McDermott, Yvonne
2024
First edition
Format: Electronic

Location
Access Content Online

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 The proving ground

The proving ground

by Alphin, Elaine Marie
1992
Format: Book

Location	Call #	Status
Joyner - TRC Fiction	F AL749P	✔ Available

Cover image for Interactive theorem proving

Interactive theorem proving

by ITP (Conference)
2012
Format: Electronic

Location
Access Content Online

Cover image for Interactive theorem proving

Interactive theorem proving

by ITP (Conference)
2013
Format: Electronic

Location
Access Content Online