Á 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.