Symbolic logic and mechanical theorem proving

Mostrar otras versiones (1)
Detalles Bibliográficos
Autores principales: Chang Chin Liang, Lee, Richard C
Lenguaje:eng
Publicado: Academic Press 1973
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/105172
Mostrar todas las versiones(2)

Ejemplares similares