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

QR kód

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

Uloženo v:

Podrobná bibliografie
Médium:	Kniha
Jazyk:	Undetermined
Vydáno:	H. Tp. HCM 2002
Témata:	automath ( formal languages )
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

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

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

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

Logic and language models for computer science
Autor: Henry Hamburger
Vydáno: (2002)

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

Ngôn ngữ hình thức
Autor: Nguyễn Văn Ba
Vydáno: (2002)

Problem solving in automata, languages, and complexity
Autor: Ding-zhu Du
Vydáno: (2001)

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

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

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

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

Finiteness and regularity in semigroups and formal languages /
Autor: De Luca, A.
Vydáno: (1999)

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

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

Automat và ngôn ngữ hình thức
Autor: Trần, Đình Sơn, a další
Vydáno: (2023)

Cơ sở lý thuyết tính toán =
Autor: Hopcroft, J.
Vydáno: (2003)

An introduction to formal languages and machine computation /
Autor: Yan, Song Y.
Vydáno: (1998)

An Introduction to Formal Languages and Automata (Photo) /
Autor: Linz Peter
Vydáno: (1990)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Autor: Bjørner, Nikolaj, a další
Vydáno: (2015)

Tin học lý thuyết
Autor: Võ, Huỳnh Trâm
Vydáno: (2009)

Deontic Logic in Computer Science
Autor: Meyden, Ron van der, a další
Vydáno: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Autor: Aguzzoli, S., a další
Vydáno: (2020)

Conditionals, Information, and Inference
Vydáno: (2020)

Logic, Language, and Computation
Vydáno: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Vydáno: (2020)

Case-Based Reasoning Research and Development
Autor: Munoz-Avila, Hector, a další
Vydáno: (2020)

Chinese Lexical Semantics
Autor: Wu, Yunfang, a další
Vydáno: (2020)

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

Formal Methods: Foundations and Applications
Autor: Davies, Jim, a další
Vydáno: (2015)

The Phenomenological Critique of Mathematisation and the Question of Responsibility: Formalisation and the Life-World
Autor: Učník, Ľubica, a další
Vydáno: (2015)

Proceedings of the workshop semigroups and languages
Vydáno: (2004)

Reasoning Web. Semantic Interoperability on the Web
Autor: Ianni, Giovambattista, a další
Vydáno: (2020)

Teaching Formal Methods
Vydáno: (2020)

Foundations of Fuzzy Logic and Soft Computing
Autor: Melin, Patricia, a další
Vydáno: (2020)

Frontiers of Combining Systems
Autor: Konev, Boris, a další
Vydáno: (2020)

Machine Learning and Data Mining in Pattern Recognition
Autor: Perner, Petra
Vydáno: (2020)

Finite Model Theory and Its Applications
Autor: Grädel, Erich, a další
Vydáno: (2020)

Concise Guide to Formal Methods
Autor: O'Regan, Gerard
Vydáno: (2020)

Logic, Language, Information, and Computation
Autor: Moss, Lawrence S., a další
Vydáno: (2020)

Machine Learning and Data Mining in Pattern Recognition
Vydáno: (2020)