語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (1)

跳至 : 概要 | 書目資訊 | 主題

International Conference on Logic and Argumentation (2025 :)

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Logic and argumentation = 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025 : proceedings / by: International Conference on Logic and Argumentation (2025 :); Ågotnes, Thomas.; Doder, Dragan.; SpringerLink (Online service) (書目-電子資源)

主題

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.

變更密碼

登入