A declarative semantics for CLP with qualification and proximity
RODRÍGUEZ-ARTALEJO, MARIO, ROMERO-DÍAZ, CARLOS A.
Published in Theory and practice of logic programming (01.07.2010)
Published in Theory and practice of logic programming (01.07.2010)
Get full text
Journal Article
Resultados de la cirugía mayor ambulatoria en el Hospital Clinicoquirúrgico Docente "Comandante Manuel Fajardo
Mederos Curbelo, Orestes Noel, León Chiong, Lino de J, Romero Díaz, Carlos A, Mustafá García, Raúl, de Quesada, Leopoldo, Torres Hernández, Domingo
Published in Revista cubana de cirugía (01.04.1999)
Get full text
Published in Revista cubana de cirugía (01.04.1999)
Journal Article
Factores de riesgo en la litiasis vesicular: Estudio en pacientes colecistectomizados
Romero Díaz, Carlos A, Barrera Ortega, Juan C, Pascual Chirino, Claudio, Valdés Jiménez, Jesús, Molina Fernández, Eduardo, Rey Hernández, Reidel, González Zayas, Ania, Fernández Olazábal, Luis A
Published in Revista cubana de cirugía (01.08.1999)
Get full text
Published in Revista cubana de cirugía (01.08.1999)
Journal Article
Quantitative logic programming revisited
Rodríguez-Artalejo, Mario, Romero-Díaz, Carlos A.
Published in Proceedings of the 9th international conference on Functional and logic programming (14.04.2008)
Published in Proceedings of the 9th international conference on Functional and logic programming (14.04.2008)
Get full text
Conference Proceeding
Tractotomía pulmonar con ligadura vascular selectiva en un hemotórax masivo por fragmento costal libre
Mederos Curbelo, Orestes N, Barrera Ortega, Juan C, Valdés Jiménez, Jesús M, Romero Díaz, Carlos A, Cantero Ronquillo, Alexis
Published in Revista cubana de cirugía (01.03.2006)
Get full text
Published in Revista cubana de cirugía (01.03.2006)
Journal Article
Criterios de los alumnos de sexto año sobre los aspectos evaluativos de la asignatura cirugía general
Mederos Curbelo, Orestes N., Romero Díaz, Carlos A, Pascual Chirino, Claudio, Cantero Ronquillo, Alexis, Ordaz, Francisco, León Chiong, Lino
Published in Educación médica superior (01.04.2000)
Get full text
Published in Educación médica superior (01.04.2000)
Journal Article
Qualified Logic Programming with Bivalued Predicates
Rodríguez-Artalejo, Mario, Romero-Díaz, Carlos A.
Published in Electronic notes in theoretical computer science (05.08.2009)
Published in Electronic notes in theoretical computer science (05.08.2009)
Get full text
Journal Article
A Declarative Semantics for CLP with Qualification and Proximity
Get full text
Paper
Journal Article
Cirugía ambulatoria y de corta hospitalización en el cáncer de mama Ambulatory breast cancer surgery with short hospitalization period
Alexis Cantero Ronquillo, Orestes N Mederos Curbelo, Carlos A Romero Díaz, Juan C Barrera Ortega
Published in Revista cubana de cirugía (01.06.2007)
Get full text
Published in Revista cubana de cirugía (01.06.2007)
Journal Article