- 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 Schmidt-Schau, Manfred

Showing 1 - 1 of 1 results

Search Results

Cover image for Computational Aspects of an Order-Sorted Logic with Term Declarations

Computational Aspects of an Order-Sorted Logic with Term Declarations

by Schmidt-Schau, Manfred
2007
Format: Electronic

Location
Access Content Online