Automated deduction CADE 12

Bibliographic Details
Main Author: Alan Bundy
Format: Printed Book
Language:English
Published: Springer-Verlag 1994

DCS

Holdings details from DCS
Call Number: 004.8
Copy Live Status Unavailable

Similar Items