A computational logic handbook

Bibliographic Details
Main Author: Robert S Boyer,J Strother Moore
Format: Printed Book
Language:English
Published: Academic Press 1988
Description
Physical Description:408
ISBN:0-12-122952-1

Similar Items