A computational logic handbook

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

Títulos similares