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

kod QR

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

Zapisane w:

Opis bibliograficzny
Format:	Książka
Język:	Undetermined
Wydane:	H. Tp. HCM 2002
Hasła przedmiotowe:	automath ( formal languages )
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

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

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

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

Logic and language models for computer science
od: Henry Hamburger
Wydane: (2002)

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

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

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

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

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

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

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

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

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

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

Automat và ngôn ngữ hình thức
od: Trần, Đình Sơn, i wsp.
Wydane: (2023)

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

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

An Introduction to Formal Languages and Automata (Photo) /
od: Linz Peter
Wydane: (1990)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
od: Bjørner, Nikolaj, i wsp.
Wydane: (2015)

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

Deontic Logic in Computer Science
od: Meyden, Ron van der, i wsp.
Wydane: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
od: Aguzzoli, S., i wsp.
Wydane: (2020)

Conditionals, Information, and Inference
Wydane: (2020)

Logic, Language, and Computation
Wydane: (2020)

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

Case-Based Reasoning Research and Development
od: Munoz-Avila, Hector, i wsp.
Wydane: (2020)

Chinese Lexical Semantics
od: Wu, Yunfang, i wsp.
Wydane: (2020)

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

Formal Methods: Foundations and Applications
od: Davies, Jim, i wsp.
Wydane: (2015)

The Phenomenological Critique of Mathematisation and the Question of Responsibility: Formalisation and the Life-World
od: Učník, Ľubica, i wsp.
Wydane: (2015)

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

Reasoning Web. Semantic Interoperability on the Web
od: Ianni, Giovambattista, i wsp.
Wydane: (2020)

Teaching Formal Methods
Wydane: (2020)

Foundations of Fuzzy Logic and Soft Computing
od: Melin, Patricia, i wsp.
Wydane: (2020)

Frontiers of Combining Systems
od: Konev, Boris, i wsp.
Wydane: (2020)

Machine Learning and Data Mining in Pattern Recognition
od: Perner, Petra
Wydane: (2020)

Finite Model Theory and Its Applications
od: Grädel, Erich, i wsp.
Wydane: (2020)

Concise Guide to Formal Methods
od: O'Regan, Gerard
Wydane: (2020)

Logic, Language, Information, and Computation
od: Moss, Lawrence S., i wsp.
Wydane: (2020)

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