Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas - Martín de la Calle, Pedro Jesús.; Gavilanes Franco, Antonio; e-libro, Corp. (Madrid : Universidad Complutense de Madrid, 2000)
Universidad Complutense de Madrid. Facultad de Ciencias Matematicas. Departamento de Sistemas Informaticos y Programacion.
Recurso electrónico. Santa Fe, Arg.: e-libro, 2015. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a e-libro.
Keywords: Matemáticas.; Computadoras; Programming languages (Electronic computers); Computer programming; Programación; Teoría del conocimiento; Libros electrónicos.