A computational logic handbook

Détails bibliographiques
Auteur principal: Robert S Boyer,J Strother Moore
Format: Printed Book
Langue:English
Publié: Academic Press 1988
Description
Description matérielle:408
ISBN:0-12-122952-1

Documents similaires