TY - GEN T1 - El rol de la semántica declarativa en el análisis de la programación en lógica rebatible JF - WICC 2005 [CD-ROM] IS - Workshop de Investigadores en Ciencias de la Computación (7º : 2005 : Río Cuarto) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional de Río Cuarto A1 - Cecchi, Laura Andrea UL - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dif.54380 ER -