Cargando...

Automated deduction CADE 12

Detalles Bibliográficos
Autor principal: Alan Bundy
Formato: Printed Book
Lenguaje:English
Publicado: Springer-Verlag 1994
Descripción
Descripción Física:848
ISBN:3-540-58156-1