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

Nerode, Anil 1932-

Logic for applications Anil Nerode, Richard A. Shore - 2nd ed. - New York Springer-Verlag 1997 - xiii, 456 p. 23 cm. - Graduate texts in computer science .

Includes bibliographical references and indexes

ISBN: 0387948937

Subjects--Topical Terms:
Επιστήμη των υπολογιστών--Μαθηματικά
Ηλεκτρονικοί υπολογιστές--Προγραμματισμός
Λογική, Συμβολική και μαθηματική

Dewey Class. No.: 005.1