IIITV Library catalog

Normal view MARC view ISBD view

Gallier, Jean H.

Logic for computer science Foundations of automatic theorem proving Gallier, Jean H. - 2nd - New York Dover publication inc 1986 - 496 23cm

English

ISBN: 9780486780825

Source: PB

Subjects--Index Terms: Logic, Symbolic and mathematical | Automatic theorem proving

Index Terms--Curriculum Objective: --Maths-Statistics

Dewey Class. No.: 511.36028563 / GAL

Print
Add to your cart (remove)
Save record
More searches