Search Results - Muñoz, César
César Muñoz
César Muñoz Vicuña (1929–2000) was an Ecuadorian chess master. An amateur, he was an engineer by profession.He played for Ecuador at first board in the fourth World Student Team Chess Championship at Reykjavík 1957 (+3 –6 =4), where he beat already reputed Fridrik Olafsson, and Bent Larsen.
At the 14th Chess Olympiad at Leipzig 1960 (+9 –3 =7), the unknown Ecuadorian caused a sensation in the preliminaries of the Leipzig Olympiad when he beat Bobby Fischer.
In 1962, he took second place, behind Olavo Yépez, in Pichincha (ECU-ch); and took seventh place at Quito 1969 (zonal; Eleazar Jiménez and Olavo Yépez Obando won).
For a number of years he was chair of the Ecuadorean Sports Association, and the Complejo Deportivo César Muñoz Vicuña was named after him. Provided by Wikipedia
-
1
Structural embeddings mechanization with method /
Published 1999Click here to view full text online
Government Document Microfilm Book
-
2
Proof-term synthesis on dependent-type systems via explicit substitutions
Published 1999Connect to online resource
Government Document Book -
3
Dependent types and explicit substitutions
Published 1999Click here to view full text online
Government Document Microfilm Book -
4
Time of closest approach in three-dimensional airspace
Published 2010Connect to online resource
Connect to online resource
Government Document Electronic eBook -
5
-
6
A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem /
Published 2014Online Access
Online Access
Government Document eBook -
7
Improving automated strategies for univariate quantifier elimination /
Published 2021Online Access
Government Document eBook -
8
A high-level formalization of floating-point numbers in PVS
Published 2006Other Authors: “…Muñoz, César…”
Connect to online resource
Connect to online resource
Government Document Electronic eBook -
9
A criteria standard for conflict resolution a vision for guaranteeing the safety of self-separation in NextGen /
Published 2010Other Authors: “…Muñoz, César…”
Connect to online resource
Connect to online resource
Government Document Electronic eBook -
10
On the formal verification of conflict detection algorithms
Published 2001Other Authors: “…Muñoz, César A., 1968-…”
Connect to online resource
Connect to online resource
Government Document Microfilm Book -
11
State-based implicit coordination and applications
Published 2011Other Authors: “…Muñoz, César A., 1968-…”
Online Access
Online Access
Government Document Electronic eBook -
12
Explicit substitutions and all that
Published 2000Other Authors: “…Muñoz, César A., 1968-…”
Click here to view full text online
Government Document Microfilm Book -
13
Reflexiones sobre la jurisprudencia y doctrina tributaria /
Published 2017Other Authors: “…Sánchez Muñoz, César…”
Full Text (via Digitalia Hispanica)
eBook -
14
Design and application of strategies/tactics in higher order logics /
Published 2003Other Authors: “…Muñoz, César…”
Online Access
Online Access
Government Document eBook -
15
Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /
Published 2017Other Authors: “…Muñoz, César A., 1968-…”
Full Text (via Springer)
Conference Proceeding eBook -
16
Theorem proving in higher order logics 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; proceedings /
Published 2008Other Authors: “…Muñoz, César A., 1968-…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
17
Advances in bio-mechanical systems and materials /
Published 2013“…Juan José Muñoz-César --…”
Full Text (via Springer)
eBook -
18
NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
Published 2018Other Authors: “…Muñoz, César A., 1968-…”
Full Text (via Springer)
Conference Proceeding eBook -
19
Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /
Published 2002Other Authors: “…Muñoz, César A., 1968-…”
Full Text (via Springer)
Conference Proceeding eBook -
20
NASA formal methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /
Published 2021Other Authors: “…Muñoz, César A., 1968-…”
Full Text (via Springer)
Conference Proceeding eBook