A computational logic handbook

Detalhes bibliográficos
Autor principal: Robert S Boyer,J Strother Moore
Formato: Printed Book
Idioma:English
Publicado em: Academic Press 1988
Descrição
Descrição Física:408
ISBN:0-12-122952-1

Registros relacionados