Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Urban, Christian.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Interactive theorem proving6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: (1998 :); SpringerLink (Online service); Urban, Christian.; Zhang, Xingyuan. (Electronic resources)

Subjects

Mathematical Logic and Formal Languages. Software Engineering. Logics and Meanings of Programs. Automatic theorem proving Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity. Logic, Symbolic and mathematical Computer Science. Systems and Data Security.

Change password

Login