Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

International Conference on Logic and Argumentation (2023 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Logic and argumentation = 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings / by: International Conference on Logic and Argumentation (2023 :); Herzig, Andreas.; Luo, Jieting.; Pardo, Pere.; SpringerLink (Online service) (Electronic resources)

Subjects

Uncertainty (Information theory) Programming Techniques. Computer Science Logic and Foundations of Programming. Artificial Intelligence. Formal Languages and Automata Theory. Logic, Symbolic and mathematical Reasoning Design and Analysis of Algorithms. Compilers and Interpreters.

Change password

Login