Mostrando 1 - 1 resultados de 1 para a busca 'Gallier, Jean H; Author', tempo de busca: 0.01s Refinar Resultados
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    por Gallier, Jean H; Author
    Publicado em 1987
    Printed Book
Ferramentas de busca: Obter Feed RSS — Enviar busca por e-mail