Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas
Verlag: Madrid : [Universidad Complutense], Servicio de Publicaciones, [2004]
ISBN: 84-669-1614-8
Datum der Publikation: 2004
Art: Buch
Verlag: Madrid : [Universidad Complutense], Servicio de Publicaciones, [2004]
ISBN: 84-669-1614-8
Datum der Publikation: 2004
Art: Buch