- ECU Libraries Catalog

Start Over

You searched for: author_facet Muñoz, César A.

Showing 1 - 8 of 8 results

Search Results

Cover image for Improving automated strategies for univariate quantifier elimination

Improving automated strategies for univariate quantifier elimination

by Cordwell, Katherine
2021
Format: Electronic

Location
Access Content Online

Cover image for Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26?29, 2017, Proceedings

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26?29, 2017, Proceedings

by Ayala-Rincón, Mauricio
2017
Format: Electronic

Location
Access Content Online

Cover image for A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem

A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem

by Narkawicz, Anthony Joseph, 1982-
2014
Format: Electronic

Location
Access Content Online

Cover image for State-based implicit coordination and applications

State-based implicit coordination and applications

by Narkawicz, Anthony Joseph, 1982-
2011
Format: Electronic

Location
Access Content Online

Cover image for Time of closest approach in three-dimensional airspace

Time of closest approach in three-dimensional airspace

by Muñoz, César A.
2010
Format: Electronic

Location
Access Content Online

Cover image for Theorem proving in higher order logics

Theorem proving in higher order logics

by TPHOLs 2002
2002
Format: Electronic

Location
Access Content Online

Cover image for Theorem proving in higher order logics

Theorem proving in higher order logics

by TPHOLs 2002
2002
Format: Electronic

Location
Access Content Online

Cover image for On the formal verification of conflict detection algorithms

On the formal verification of conflict detection algorithms

2001
Format: Microform

Location	Call #	Status
Joyner - Microforms B300	NAS 1.15:210864	✔ Available