Vado Vírseda, Rafael del., <br/><br/>
Un esquema de programación lógicofuncional con restricciones: marco teórico y aplicación a la depuración declarativa :  marco teórico y aplicación a la depuración declarativa / 
Rafael de Vado Vírseda ; dirigida por, Mario Rodríguez Artalejo. 
 - 1 recurso en línea (386 páginas) :  ilustraciones. 
<br/><br/> elibro catedra 2020. 
<br/><br/>Tesis (Doctor)--Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Sistemas Informáticos y Computación, 2009. 
<br/><br/>Contiene bibliografía. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Informática.<br/>Programación informática.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Libros electrónicos.
<br/><br/><label>LC Class. No.: </label>QA76.62  / V124 2009 
<br/><br/><label>Dewey Class. No.: </label>005.11 
<br/><br/><label>Universal Decimal Class. No.: </label>004.42.047