Κανονική προβολή Προβολή MARC Προβολή ISBD

Huth, Michael, 1962-

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. - Cambridge : Cambridge University Press, c2004. - xiv, 427 σ. : εικ. ; 25 εκ.

Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.

ISBN: 052154310X

Subjects--Topical Terms:
Λογική, Συμβολική και μαθηματική
Λογικός προγραμματισμός

Dewey Class. No.: 005.1