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

Cornerstones of Undecidability - New York Prentice-Hall c1994 - xvi,197p. - Prentice-Hall International Series in Computer Sience / C.A.R. Hoare .

bibliography:pp.193-194

ISBN: 0 13 297425 8

Subjects--Topical Terms:
AUTOMATA THEORY
Λογική, Συμβολική και μαθηματική
MATHEMATICS
ΕΠΕΑΕΚ