Pfenning, Frank. - 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 Pfenning, Frank.

Showing 1 - 8 of 8 results

Search Results

Cover image for Logic programming and automated reasoning

Logic programming and automated reasoning

by LPAR
1994
Format: Book

Joyner Library - General Stacks

Call Number: QA76.63 .I565 1994

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 Logic programming and automated reasoning

Logic programming and automated reasoning

by LPAR (Conference)
1994
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

Joyner Library - General Stacks

Call Number: QA76.624 .G64 2003

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: Book

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 Generative programming and component engineering

Generative programming and component engineering

by GPCE (Conference)
2003
Format: Electronic

Location
Access Content Online