yr 〜
yr

Search results 14

Structural embeddings [microform] : mechanization with method / César Muñoz, John Rushby (ICASE report ; no. 99-26) ([NASA contractor report] ; NASA/CR-1999-209360)

Structural embeddings [microform] : mechanization with method / César Muñoz, John Rushby (ICASE report ; no. 99-26) ([NASA contractor report] ; NASA/CR-1999-209360)
Microform図書
1999<YCA-NAS 1.26:209360>
National Diet Library
  • Author HeadingMuñoz, César Rushby, John Langley Research...

Proof-term synthesis on dependent-type systems via explicit substitutions [microform] / César Muñoz (ICASE report ; no. 99-47) ([NASA contractor report] ; NASA/CR-1999-209730)

Proof-term synthesis on dependent-type systems via explicit substitutions [microform] / César Muñoz (ICASE report ; no. 99-47) ([NASA contractor report] ; NASA/CR-1999-209730)
Microform図書
1999<YCA-NAS 1.26:209730>
National Diet Library
  • Author HeadingMuñoz, César Institute for Computer Applic...

Dependent types and explicit substitutions [microform] / Cesar Munoz (ICASE report ; no. 99-43) ([NASA contractor report] ; NASA/CR-1999-209722)

Dependent types and explicit substitutions [microform] / Cesar Munoz (ICASE report ; no. 99-43) ([NASA contractor report] ; NASA/CR-1999-209722)
Microform図書
1999<YCA-NAS 1.26:209722>
National Diet Library
  • Author HeadingMunoz, Cesar Institute for Computer Applic...

Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, proceedings : pbk.

Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, proceedings : pbk.
Paper図書
Otmane Ait Mohamed, Cesar Munoz, Sofiene Tahar (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingMohamed, Otmane Ait Muñoz, César Tahar, Sofiene

Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
Paper図書
Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)Springerc2002
Other Libraries in Japan
  • Author Heading...eño, Victor A. Muñoz, César Tahar, Sofiène

NASA Formal Methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings

NASA Formal Methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings
Paper図書
Aaron Dutle ... [et al.] (eds.)Springerc2021
Other Libraries in Japan
  • Author HeadingNFM (Symposium) Dutle, Aaron Moscato, Mariano M. Titolo, Laura Muñoz, César A. Perez, Ivan

Refranero antioqueño : diccionario fraseológico del habla antioqueña

Refranero antioqueño : diccionario fraseológico del habla antioqueña
Paper図書
Carlos García, César MuñozEditorial Universidad de Antioquia1996
Other Libraries in Japan
  • Author HeadingGarcía, Carlos Muñoz, César

On the formal verification of conflict detection algorithms [microform] / César Muñoz ... [et al.] ([NASA technical memorandum] ; NASA/TM-2001-210864)

On the formal verification of conflict detection algorithms [microform] / César Muñoz ... [et al.] ([NASA technical memorandum] ; NASA/TM-2001-210864)
Microform図書
2001<YCA-NAS 1.15:210864>
National Diet Library
  • Author HeadingMuñoz, César A., 1968- Langley Research Ce...

Diccionario de las hablas populares de Antioquia 1. ed

Diccionario de las hablas populares de Antioquia 1. ed
Paper図書
Carlos García, César MuñosEditorial Universidad de Antioquia1993
Other Libraries in Japan
  • Author HeadingGarcía, Carlos Muñoz, César

Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August, 2002 : proceedings. : Aug 2002, Hampton, VA. (Lecture Notes in Computer Science ; 2410)

Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August, 2002 : proceedings. : Aug 2002, Hampton, VA. (Lecture Notes in Computer Science ; 2410)
Paper図書
Springer2002.<M17-03-143>
National Diet Library
  • Author Heading...ctor A., 1956- Muñoz, César, 1968- Tahar, Sofiène, 1966- ...

Sobre el Perú : homenaje a José Agustín de la Puente Candamo : obra completa t. 1 t. 2

Sobre el Perú : homenaje a José Agustín de la Puente Candamo : obra completa t. 1 t. 2
Paper図書
[editores, Margarita Guerra Martinière, Oswaldo Holguín Callo, César Gutiérrez Muñoz]Facultad de Letras y Ciencias Humanas, Fondo Editorial de la Pontificia Universidad Católica de Perú2002
Other Libraries in Japan
  • Author Heading...aldo Gutiérrez Muñoz, César

Exemples de théorèmes du type Paley Weiner [i.e. Wiener] sur certains groupes résolubles exponentiels

Exemples de théorèmes du type Paley Weiner [i.e. Wiener] sur certains groupes résolubles exponentiels
Paper図書
par César Trujillo-MunozUniversité Louis Pasteur, Dép. de mathématique, Institut de recherche mathématique avancée[1984]
Other Libraries in Japan
  • Author HeadingTrujillo-Munoz, César

Industria, regiones y urbanización en Colombia

Industria, regiones y urbanización en Colombia
Paper図書
Luis Bernardo Flórez E., César González MuñozFINES : Editorial Oveja Negra[1983]
Other Libraries in Japan
  • Author HeadingFlórez E., Luis Bernardo González Muñoz, César

Noticias cronológicas de la gran ciudad del Cuzco

Noticias cronológicas de la gran ciudad del Cuzco
Paper図書
Diego de Esquivel y Navia ; edición, prólogo y notas de Félix Denegri Luna ; con la colaboración de Horacio Villanueva Urteaga y César Gutiérrez MuñozFundación Augusto N. Wiese : Banco Wiese1980
Other Libraries in Japan
  • Author HeadingEsquivel y Navia, Diego de Denegri Luna, Félix Villanueva Urteaga, Horacio Gutiérrez Muñoz, César

Reached to the end of result.