Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas
Información General
- Autores: Pedro Jesús Martín de la Calle
- Editores: Madrid : [Universidad Complutense], Servicio de Publicaciones, [2004]
- Año de publicación: 2004
- País: España
- Idioma: español
- ISBN: 84-669-1614-8
- Texto completo no disponible (Saber más ...)
Otros catálogos
Identificadores de libro
Biblioteca Nacional
¿Es nuevo? Regístrese
Ventajas de registrarse
