Dexter Kozen
Dexter Campbell Kozen (né le ) est un informaticien théoricien américain. Il travaille en théorie de la complexité, plus particulièrement sur des problèmes de décision en algèbre et en logique, en sémantique des langages de programmation et en sécurité informatique. Informations fournies par Wikipedia
1
par Kozen, Dexter
Publié 1997
Publié 1997
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ
2
par Kozen, Dexter C
Publié 1997
Publié 1997
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Thủ Dầu Một
Accéder au texte intégral