- 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 Negri, Sara

Showing 1 - 2 of 2 results

Search Results

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings

by Das, Anupam
2021
1st ed. 2021
Format: Electronic

Location
Access Content Online

Cover image for Structural proof theory

Structural proof theory

by Negri, Sara, 1967-
2001
Format: Book

Joyner Library - General Stacks

Call Number: QA9.54 .N44 2001