GARCIA-DIAZ, M., & NIEVA, S. (2002, January 1). Solving mixed quantified constraints over a domain based on Real numbers and Herbrand terms. Presented at the. Berlin: Springer, 2002. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14614872
ISO-690 (author-date, English)GARCIA-DIAZ, Miguel and NIEVA, Susana, 2002. Solving mixed quantified constraints over a domain based on Real numbers and Herbrand terms. In: [online]. Berlin: Springer, 2002. 1 January 2002. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14614872
Modern Language Association 9th editionGARCIA-DIAZ, M., and S. NIEVA. Solving mixed quantified constraints over a domain based on Real numbers and Herbrand terms. Berlin: Springer, 2002., 2002, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14614872.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
GARCIA-DIAZ, M. and NIEVA, S. (2002), “Solving mixed quantified constraints over a domain based on Real numbers and Herbrand terms”, in , Vol. , Berlin: Springer, 2002., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14614872.