Logic For Computer Science: Foundations Of Automatic Theorem Proving

other_versions_link
Detalles Bibliográficos
Autor Principal: Gallier, Jean H
Formato: Printed Book
Publicado: John Wiley & Sons 1987
Descripción
Descrición Física:Paper back

Títulos similares