更多详情

在线阅读

被引数量: 0

评价数量: 0

领域

Automated theorem proving Instructional theory Satisfiability modulo theories Formal language Conceptual dependency theory Canonical theory Non-representational theory Development theory Argumentation theory Representation theory

馆藏高校

{{holding.name}}

An Introduction to the Theory of Formal Languages and Automata

ISBN: 9789027926661 出版年：2019 页码：156 Levelt, W J De Gruyter Mouton

知识网络

知识图谱网络

内容简介

Amazon评论

{{comment.person}}

{{comment.content}}

作品图片

推荐图书