语系: 簡体中文

登入

语系

英文 (1)

[NT 60476] Jump To : 概要 | 书目信息 | 主题

Skrzypczak, Michal.

概要

作品:	1 作品在 1 项出版品 1 种语言

书目信息

Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity / by: Skrzypczak, Michal.; SpringerLink (Online service) (书目-电子资源)

主题

Mathematical Logic and Formal Languages. Software Engineering. Machine theory. Logics and Meanings of Programs. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Descriptive set theory. Computer Science. Discrete Mathematics in Computer Science.

变更密码

登入