Logic For Computer Science: Foundations Of Automatic Theorem Proving

other_versions_link
Detalhes bibliográficos
Autor principal: Gallier, Jean H
Formato: Printed Book
Publicado em: John Wiley & Sons 1987
Descrição
Descrição Física:Paper back

Registos relacionados