Logic for computer science: foundations of automatic theorem proving

Sonraí Bibleagrafaíochta
Príomhúdar: Gallier, Jean H; Author
Formáid: Printed Book
Foilsithe: New York, John Wiley & Sons, Inc 1987
Ábhair:
Automatic theorem proving
Computer science
Logic, Symbolic and mathematical

MG University

Sonraí sealbhúcháin ó MG University
Gairmuimhir: 511.3 M7
Cóip Live Status Unavailable

Míreanna Comhchosúla