Central Library catalog

Normal view MARC view ISBD view

GALLIER,J.H

LOGIC FOR COMPUTER SCIENCE: FOUNDATIONS OF AUTOMATIC THEOREM PROVING - NEW YORK Wiley 1987 - 23X16

ISBN: 0471615463

Dewey Class. No.: 621.38195 G168

Powered by Koha Implemented by Total IT Software Solutions