Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

International Conference on Automated Deduction (2017 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Automated deduction - CADE 26 = 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017 : proceedings / by: International Conference on Automated Deduction (2017 :); Moura, Leonardo de.; 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.

Change password

Login