1. Martín de la Calle, Pedro Jesús
  2. Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas

Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas

Español

Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas

Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas (Ver registro completo)

Libro
Título Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas ;Pedro Jesús Martín de la Calle ;
Lugar de publicación Madrid
Editorial [Universidad Complutense], Servicio de Publicaciones
Fecha de publicación [2004]

Descarga en otros formatos

Obtener el registro en ttlObtener el registro en JSON-LDObtener el registro en RDF/XML Ver en catálogo