- ECU Libraries Catalog

Start Over

You searched for: author_facet Carnielli, Walter A.

Showing 1 - 5 of 5 results

Search Results

Cover image for Model-based reasoning in science and technology

Model-based reasoning in science and technology

2010
Format: Electronic

Location
Access Content Online

Cover image for Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil

Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil

by Carnielli, Walter A.
1999
Format: Electronic

Location
Access Content Online

Cover image for Advances in contemporary logic and computer science

Advances in contemporary logic and computer science

by Brazilian Conference on Mathematical Logic
1999
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.L36 B73 1996	✔ Available

Cover image for Methods and applications of mathematical logic

Methods and applications of mathematical logic

by Latin-American Symposium on Mathematical Logic
1988
Format: Electronic

Location
Access Content Online

Cover image for Methods and applications of mathematical logic

Methods and applications of mathematical logic

by Latin-American Symposium on Mathematical Logic
1988
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9.A1 L37 1985	✔ Available