Es reseña de:
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y prolog
Luis de Ledesma
Paracuellos del Jarama, RA-MA, D.L. 2009. ISBN 978-84-7897-938-7
© 2008-2025 Fundación Dialnet · Todos los derechos reservados