Automated deduction CADE 12

Detalhes bibliográficos
Autor principal: Alan Bundy
Formato: Printed Book
Idioma:English
Publicado em: Springer-Verlag 1994
Descrição
Descrição Física:848
ISBN:3-540-58156-1

Registros relacionados