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

QR Code (код быстрого отклика)

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

Сохранить в:

Библиографические подробности
Формат:	‌
Язык:	Undetermined
Опубликовано:	H. Tp. HCM 2002
Предметы:	automath ( formal languages )
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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, et al.
Опубликовано: (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, et al.
Опубликовано: (2015)

Tin học lý thuyết
по: Võ, Huỳnh Trâm
Опубликовано: (2009)

Deontic Logic in Computer Science
по: Meyden, Ron van der, et al.
Опубликовано: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
по: Aguzzoli, S., et al.
Опубликовано: (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, et al.
Опубликовано: (2020)

Chinese Lexical Semantics
по: Wu, Yunfang, et al.
Опубликовано: (2020)

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

Formal Methods: Foundations and Applications
по: Davies, Jim, et al.
Опубликовано: (2015)

The Phenomenological Critique of Mathematisation and the Question of Responsibility: Formalisation and the Life-World
по: Učník, Ľubica, et al.
Опубликовано: (2015)

Proceedings of the workshop semigroups and languages
Опубликовано: (2004)

Reasoning Web. Semantic Interoperability on the Web
по: Ianni, Giovambattista, et al.
Опубликовано: (2020)

Teaching Formal Methods
Опубликовано: (2020)

Foundations of Fuzzy Logic and Soft Computing
по: Melin, Patricia, et al.
Опубликовано: (2020)

Frontiers of Combining Systems
по: Konev, Boris, et al.
Опубликовано: (2020)

Machine Learning and Data Mining in Pattern Recognition
по: Perner, Petra
Опубликовано: (2020)

Finite Model Theory and Its Applications
по: Grädel, Erich, et al.
Опубликовано: (2020)

Concise Guide to Formal Methods
по: O'Regan, Gerard
Опубликовано: (2020)

Logic, Language, Information, and Computation
по: Moss, Lawrence S., et al.
Опубликовано: (2020)

Machine Learning and Data Mining in Pattern Recognition
Опубликовано: (2020)