عنوان
پدید آورنده
موضوع
رده
QA9.63 .R69 1994
QA9
.
63
.
R69
1994
کتابخانه
محل استقرار
0132974258
9780132974257
dltt
Cornerstones of undecidability /
[Book]
Grzegorz Rozenberg and Arto Salomaa
xvi, 197 pages :
illustrations ;
24 cm
Prentice Hall international series in computer science
Includes bibliographical references (pages 193-194) and index
Cornerstones of undecidability.
Decidability (Mathematical logic)
Unsolvability (Mathematical logic)
équation diophantienne
indécidabilité
Logique
Mathematical logic
récursivité
théorie démonstration
511
.
3
20
QA9
.
63
.
R69
1994
Rozenberg, Grzegorz
Salomaa, Arto
20160712060253.0
مطالعه متن کتاب [Book]
Y
