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

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

Editorial:
Universidad Complutense de Madrid. Servicio de Publicaciones
ISBN:
978-84-669-1614-1
Editorial:
Universidad Complutense de Madrid. Servicio de Publicaciones
Idioma de publicación :
Español
ISBN:
978-84-669-1614-1
EAN:
9788466916141
Nº páginas:
1
Fecha publicación :
03-01-2003
Disponible en 0 librerías

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

Stock en librería
Disponible en 2-3 Días

Disponible en 0 librerías

    Sinopsis

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

    Información no disponible
    Más sobre

    Martín de la Calle, Pedro Jesús

    Información sobre el autor no disponible


    Más títulos de Martín de la Calle, Pedro Jesús
    Los lectores opinan

    Valoraciones y comentarios

    No hay comentarios, sé el primero en comentar

    Añadir comentario
    También te puede interesar

    Libros relacionados