Á lódáil...

Logic for computer science : Foundations of Automatic Theorem proving/

Sonraí Bibleagrafaíochta
Príomhúdar: Gallier, Jean H.
Formáid: Printed Book
Teanga:English
Foilsithe: John Wiley & Sons, 1987.

University of Calicut

Sonraí sealbhúcháin ó University of Calicut
Gairmuimhir: 68 GAL
Cóip Live Status Unavailable