english Icono del idioma   español Icono del idioma  

  1. Colibri

Listar por Autor Bove, Ana

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 1 a 3 de 3
Fecha de publicaciónTítuloAutor(es)
1991A confluent calculus of macro expansion and evaluationBove, Ana; Arbilla, Laura
1995A machine assisted proof of the subject reduction property for small typed functional language. Master ThesisBove, Ana
1998La increíble historia del Instituto de Computación (en 24 e-mails)Arbilla, Laura; Bermúdez, Laura; Betarte, Gustavo; Bove, Ana; Cabezas, Juan José; Cancela, Héctor; Carpani, Fernando; Cornes, Cristina; Giménez, Eduardo; Gonnet, Gastón; Goyoaga, Joaquín; González, Juan; Holz, Ida; Ruggia, Raúl; Tasistro, Alvaro; Urquhart, María E; Vidart, Jorge; Viola, Alfredo
Mostrando resultados 1 a 3 de 3