- ECU Libraries Catalog

Start Over

You searched for: author_facet Pfenning, Frank

Showing 1 - 8 of 8 results

Search Results

Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

by Pfenning, Frank
2013
Format: Electronic

Location
Access Content Online

Cover image for Automated deduction -- CADE-21

Automated deduction -- CADE-21

by International Conference on Automated Deduction
2007
Format: Electronic

Location
Access Content Online

Cover image for Term rewriting and applications

Term rewriting and applications

by International Conference on Rewriting Techniques and Applications
2006
Format: Electronic

Location
Access Content Online

Cover image for Term rewriting and applications

Term rewriting and applications

by International Conference on Rewriting Techniques and Applications
2006
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA267 .I555 2006	✔ Available

Cover image for Generative programming and component engineering

Generative programming and component engineering

by GPCE (Conference)
2003
Format: Electronic

Location
Access Content Online

Cover image for Generative programming and component engineering

Generative programming and component engineering

by GPCE (Conference)
2003
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.624 .G64 2003	✔ Available

Cover image for Logic programming and automated reasoning

Logic programming and automated reasoning

by LPAR (Conference)
1994
Format: Electronic

Location
Access Content Online

Cover image for Logic programming and automated reasoning

Logic programming and automated reasoning

by LPAR
1994
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.63 .I565 1994	✔ Available