Sugestões de Tópicos dentro de sua pesquisa.
A mostrar 1 - 3 resultados de 3 para a pesquisa '', tempo de pesquisa: 0.02seg Refinar resultados
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    Por Gallier, Jean H; Author
    Publicado em 1987
    Printed Book
  2. 2
    Applied proof theory : proof interpretations and their use in mathematics /
    Por Kohlenbach, U.
    Publicado em 2008
    Printed Book
  3. 3
    Logic for computer science : foundations of automatic theorem proving /
    Por Gallier, Jean H.
    Publicado em 2015
    Printed Book
Ferramentas de pesquisa: Obter Feed RSS — Enviar pesquisa por email