SUSANA
NIEVA SOTO
Profesora titular de universidad
Universidad Politécnica de Madrid
Madrid, EspañaUniversidad Politécnica de Madrid-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2007
-
Higher-order logic programming languages with constraints: A semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)