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

Codice QR

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

Salvato in:

Dettagli Bibliografici
Natura:	Libro
Lingua:	Undetermined
Pubblicazione:	H. Tp. HCM 2002
Soggetti:	automath ( formal languages )
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

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

Documenti analoghi

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

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

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

Logic and language models for computer science
di: Henry Hamburger
Pubblicazione: (2002)

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

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

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

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

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

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

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

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

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

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

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

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

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

An Introduction to Formal Languages and Automata (Photo) /
di: Linz Peter
Pubblicazione: (1990)

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

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

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

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

Conditionals, Information, and Inference
Pubblicazione: (2020)

Logic, Language, and Computation
Pubblicazione: (2020)

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

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

Chinese Lexical Semantics
di: Wu, Yunfang, et al.
Pubblicazione: (2020)

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

Formal Methods: Foundations and Applications
di: Davies, Jim, et al.
Pubblicazione: (2015)

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

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

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

Teaching Formal Methods
Pubblicazione: (2020)

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

Frontiers of Combining Systems
di: Konev, Boris, et al.
Pubblicazione: (2020)

Machine Learning and Data Mining in Pattern Recognition
di: Perner, Petra
Pubblicazione: (2020)

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

Concise Guide to Formal Methods
di: O'Regan, Gerard
Pubblicazione: (2020)

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

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