Lý thuyết Automat và ngôn ngữ hình thức

Codi QR

Lý thuyết Automat và ngôn ngữ hình thức

Guardat en:

Dades bibliogràfiques
Format:	Llibre
Idioma:	Undetermined
Publicat:	H. Tp. HCM 2002
Matèries:	automath ( formal languages )
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Ítems similars

Giáo trình lý thuyết automat và ngôn ngữ hình thức
per: Hồ, Văn Quân
Publicat: (2002)

Lý thuyết ôtômát và thuật toán
per: Phan Đình Diệu
Publicat: (1977)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
per: Nguyễn, Thanh Tùng
Publicat: (1993)

Logic and language models for computer science
per: Henry Hamburger
Publicat: (2002)

Lý thuyết ngôn ngữ hình thức và Otomat
per: Đặng, Huy Ruận
Publicat: (2002)

Ngôn ngữ hình thức
per: Nguyễn Văn Ba
Publicat: (2002)

Problem solving in automata, languages, and complexity
per: Ding-zhu Du
Publicat: (2001)

Lý thuyết Automat và ngôn ngữ hình thức
per: Hồ, Văn Quân
Publicat: (2006)

Lý thuyết Automat và ngôn ngữ hình thức /
Publicat: (2002)

lý thuyết automat và ngôn ngữ hình thức
per: Trịnh, Thanh Đèo
Publicat: (2008)

Lý thuyết Automat và ngôn ngữ hình thức /
per: Hồ Văn Quân.
Publicat: (2006)

Finiteness and regularity in semigroups and formal languages /
per: De Luca, A.
Publicat: (1999)

Lý thuyết automat và ngôn ngữ hình thức/Trịnh Thanh Đèo
per: Trịnh, Thanh Đèo
Publicat: (2008)

Bài giảng môn lý thuyết ngôn ngữ hình thức và Automat
per: Trần Cao Đệ
Publicat: (1995)

Automat và ngôn ngữ hình thức
per: Trần, Đình Sơn, et al.
Publicat: (2023)

Cơ sở lý thuyết tính toán =
per: Hopcroft, J.
Publicat: (2003)

An introduction to formal languages and machine computation /
per: Yan, Song Y.
Publicat: (1998)

An Introduction to Formal Languages and Automata (Photo) /
per: Linz Peter
Publicat: (1990)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
per: Bjørner, Nikolaj, et al.
Publicat: (2015)

Tin học lý thuyết
per: Võ, Huỳnh Trâm
Publicat: (2009)

Deontic Logic in Computer Science
per: Meyden, Ron van der, et al.
Publicat: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
per: Aguzzoli, S., et al.
Publicat: (2020)

Conditionals, Information, and Inference
Publicat: (2020)

Logic, Language, and Computation
Publicat: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Publicat: (2020)

Case-Based Reasoning Research and Development
per: Munoz-Avila, Hector, et al.
Publicat: (2020)

Chinese Lexical Semantics
per: Wu, Yunfang, et al.
Publicat: (2020)

Formalization and theoretical analysis of the local effect model /
per: Beuve, M.

Formal Methods: Foundations and Applications
per: Davies, Jim, et al.
Publicat: (2015)

The Phenomenological Critique of Mathematisation and the Question of Responsibility: Formalisation and the Life-World
per: Učník, Ľubica, et al.
Publicat: (2015)

Proceedings of the workshop semigroups and languages
Publicat: (2004)

Reasoning Web. Semantic Interoperability on the Web
per: Ianni, Giovambattista, et al.
Publicat: (2020)

Teaching Formal Methods
Publicat: (2020)

Foundations of Fuzzy Logic and Soft Computing
per: Melin, Patricia, et al.
Publicat: (2020)

Frontiers of Combining Systems
per: Konev, Boris, et al.
Publicat: (2020)

Machine Learning and Data Mining in Pattern Recognition
per: Perner, Petra
Publicat: (2020)

Finite Model Theory and Its Applications
per: Grädel, Erich, et al.
Publicat: (2020)

Concise Guide to Formal Methods
per: O'Regan, Gerard
Publicat: (2020)

Logic, Language, Information, and Computation
per: Moss, Lawrence S., et al.
Publicat: (2020)

Machine Learning and Data Mining in Pattern Recognition
Publicat: (2020)