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

QRコード

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

保存先:

書誌詳細
フォーマット:	図書
言語:	Undetermined
出版事項:	H. Tp. HCM 2002
主題:	automath ( formal languages )
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Giáo trình lý thuyết automat và ngôn ngữ hình thức
著者:: Hồ, Văn Quân
出版事項: (2002)

Lý thuyết ôtômát và thuật toán
著者:: Phan Đình Diệu
出版事項: (1977)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
著者:: Nguyễn, Thanh Tùng
出版事項: (1993)

Logic and language models for computer science
著者:: Henry Hamburger
出版事項: (2002)

Lý thuyết ngôn ngữ hình thức và Otomat
著者:: Đặng, Huy Ruận
出版事項: (2002)

Ngôn ngữ hình thức
著者:: Nguyễn Văn Ba
出版事項: (2002)

Problem solving in automata, languages, and complexity
著者:: Ding-zhu Du
出版事項: (2001)

Lý thuyết Automat và ngôn ngữ hình thức
著者:: Hồ, Văn Quân
出版事項: (2006)

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

lý thuyết automat và ngôn ngữ hình thức
著者:: Trịnh, Thanh Đèo
出版事項: (2008)

Lý thuyết Automat và ngôn ngữ hình thức /
著者:: Hồ Văn Quân.
出版事項: (2006)

Finiteness and regularity in semigroups and formal languages /
著者:: De Luca, A.
出版事項: (1999)

Lý thuyết automat và ngôn ngữ hình thức/Trịnh Thanh Đèo
著者:: Trịnh, Thanh Đèo
出版事項: (2008)

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

Automat và ngôn ngữ hình thức
著者:: Trần, Đình Sơn, 等
出版事項: (2023)

Cơ sở lý thuyết tính toán =
著者:: Hopcroft, J.
出版事項: (2003)

An introduction to formal languages and machine computation /
著者:: Yan, Song Y.
出版事項: (1998)

An Introduction to Formal Languages and Automata (Photo) /
著者:: Linz Peter
出版事項: (1990)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
著者:: Bjørner, Nikolaj, 等
出版事項: (2015)

Tin học lý thuyết
著者:: Võ, Huỳnh Trâm
出版事項: (2009)

Deontic Logic in Computer Science
著者:: Meyden, Ron van der, 等
出版事項: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
著者:: Aguzzoli, S., 等
出版事項: (2020)

Conditionals, Information, and Inference
出版事項: (2020)

Logic, Language, and Computation
出版事項: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
出版事項: (2020)

Case-Based Reasoning Research and Development
著者:: Munoz-Avila, Hector, 等
出版事項: (2020)

Chinese Lexical Semantics
著者:: Wu, Yunfang, 等
出版事項: (2020)

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

Formal Methods: Foundations and Applications
著者:: Davies, Jim, 等
出版事項: (2015)

The Phenomenological Critique of Mathematisation and the Question of Responsibility: Formalisation and the Life-World
著者:: Učník, Ľubica, 等
出版事項: (2015)

Proceedings of the workshop semigroups and languages
出版事項: (2004)

Reasoning Web. Semantic Interoperability on the Web
著者:: Ianni, Giovambattista, 等
出版事項: (2020)

Teaching Formal Methods
出版事項: (2020)

Foundations of Fuzzy Logic and Soft Computing
著者:: Melin, Patricia, 等
出版事項: (2020)

Frontiers of Combining Systems
著者:: Konev, Boris, 等
出版事項: (2020)

Machine Learning and Data Mining in Pattern Recognition
著者:: Perner, Petra
出版事項: (2020)

Finite Model Theory and Its Applications
著者:: Grädel, Erich, 等
出版事項: (2020)

Concise Guide to Formal Methods
著者:: O'Regan, Gerard
出版事項: (2020)

Logic, Language, Information, and Computation
著者:: Moss, Lawrence S., 等
出版事項: (2020)

Machine Learning and Data Mining in Pattern Recognition
出版事項: (2020)