Search Results - Martín de la Calle, Pedro Jesús

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    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 by Martín de la Calle, Pedro Jesús

    Published 2000
    Get full text
    Libros Digitales

Search Tools: