A computational logic handbook

Detalles Bibliográficos
Autor principal: Robert S Boyer,J Strother Moore
Formato: Printed Book
Lenguaje:English
Publicado: Academic Press 1988
Descripción
Descripción Física:408
ISBN:0-12-122952-1

Ejemplares similares