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

QR Kod

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

Kaydedildi:

Detaylı Bibliyografya
Materyal Türü:	Kitap
Dil:	Undetermined
Baskı/Yayın Bilgisi:	H. Tp. HCM 2002
Konular:	automath ( formal languages )
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Giáo trình lý thuyết automat và ngôn ngữ hình thức
Yazar:: Hồ, Văn Quân
Baskı/Yayın Bilgisi: (2002)

Lý thuyết ôtômát và thuật toán
Yazar:: Phan Đình Diệu
Baskı/Yayın Bilgisi: (1977)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
Yazar:: Nguyễn, Thanh Tùng
Baskı/Yayın Bilgisi: (1993)

Logic and language models for computer science
Yazar:: Henry Hamburger
Baskı/Yayın Bilgisi: (2002)

Lý thuyết ngôn ngữ hình thức và Otomat
Yazar:: Đặng, Huy Ruận
Baskı/Yayın Bilgisi: (2002)

Ngôn ngữ hình thức
Yazar:: Nguyễn Văn Ba
Baskı/Yayın Bilgisi: (2002)

Problem solving in automata, languages, and complexity
Yazar:: Ding-zhu Du
Baskı/Yayın Bilgisi: (2001)

Lý thuyết Automat và ngôn ngữ hình thức
Yazar:: Hồ, Văn Quân
Baskı/Yayın Bilgisi: (2006)

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

lý thuyết automat và ngôn ngữ hình thức
Yazar:: Trịnh, Thanh Đèo
Baskı/Yayın Bilgisi: (2008)

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

Finiteness and regularity in semigroups and formal languages /
Yazar:: De Luca, A.
Baskı/Yayın Bilgisi: (1999)

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

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

Automat và ngôn ngữ hình thức
Yazar:: Trần, Đình Sơn, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Cơ sở lý thuyết tính toán =
Yazar:: Hopcroft, J.
Baskı/Yayın Bilgisi: (2003)

An introduction to formal languages and machine computation /
Yazar:: Yan, Song Y.
Baskı/Yayın Bilgisi: (1998)

An Introduction to Formal Languages and Automata (Photo) /
Yazar:: Linz Peter
Baskı/Yayın Bilgisi: (1990)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Yazar:: Bjørner, Nikolaj, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Tin học lý thuyết
Yazar:: Võ, Huỳnh Trâm
Baskı/Yayın Bilgisi: (2009)

Deontic Logic in Computer Science
Yazar:: Meyden, Ron van der, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Yazar:: Aguzzoli, S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Conditionals, Information, and Inference
Baskı/Yayın Bilgisi: (2020)

Logic, Language, and Computation
Baskı/Yayın Bilgisi: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Baskı/Yayın Bilgisi: (2020)

Case-Based Reasoning Research and Development
Yazar:: Munoz-Avila, Hector, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Chinese Lexical Semantics
Yazar:: Wu, Yunfang, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

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

Formal Methods: Foundations and Applications
Yazar:: Davies, Jim, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

The Phenomenological Critique of Mathematisation and the Question of Responsibility: Formalisation and the Life-World
Yazar:: Učník, Ľubica, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Proceedings of the workshop semigroups and languages
Baskı/Yayın Bilgisi: (2004)

Reasoning Web. Semantic Interoperability on the Web
Yazar:: Ianni, Giovambattista, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Teaching Formal Methods
Baskı/Yayın Bilgisi: (2020)

Foundations of Fuzzy Logic and Soft Computing
Yazar:: Melin, Patricia, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Frontiers of Combining Systems
Yazar:: Konev, Boris, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Machine Learning and Data Mining in Pattern Recognition
Yazar:: Perner, Petra
Baskı/Yayın Bilgisi: (2020)

Finite Model Theory and Its Applications
Yazar:: Grädel, Erich, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Concise Guide to Formal Methods
Yazar:: O'Regan, Gerard
Baskı/Yayın Bilgisi: (2020)

Logic, Language, Information, and Computation
Yazar:: Moss, Lawrence S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Machine Learning and Data Mining in Pattern Recognition
Baskı/Yayın Bilgisi: (2020)