Holdings: Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas

Bibliographic Details
Main Author:	Martín de la Calle, Pedro Jesús.
Corporate Author:	e-libro, Corp.
Format:	Tesis eBook
Language:	Spanish
Published:	Madrid : Universidad Complutense de Madrid, 2000.
Subjects:	Matemáticas. Computadoras. Programming languages (Electronic computers) Computer programming. Programación Teoría del conocimiento Libros electrónicos.
Online Access:	https://elibro.net/ereader/uninicaragua/87411