语系: 簡体中文

登入

语系

英文 (1)

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

Kohlhase, Michael.

概要

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

书目信息

Intelligent computer mathematics[electronic resource] :9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / by: Clark Conference ((2005 :); Kohlhase, Michael.; SpringerLink (Online service) (书目-电子资源)

主题

Artificial intelligence Mathematical Logic and Formal Languages. Software Engineering. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics) Programming Languages, Compilers, Interpreters. Computer science Computer Science. Simulation and Modeling.

变更密码

登入