Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Urban, Christian.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: Urban, Christian.; Zhang, Xingyuan.; SpringerLink (Online service) (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