Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (2)

Covers

Jump To : Overview | Titles | Subjects

IJCAR (Conference) (2024 :)

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Automated reasoning = 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.. Part I / by: IJCAR (Conference) (2024 :); Benzmüller, Christoph.; Heule, Marijn J. H.; Schmidt, Renate A.; SpringerLink (Online service) (Electronic resources)

Automated reasoning = 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.. Part II / by: IJCAR (Conference) (2024 :); Benzmüller, Christoph.; Heule, Marijn J. H.; Schmidt, Renate A.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Automatic theorem proving Computer logic Computer Science Logic and Foundations of Programming. Computer Engineering and Networks. Formal Languages and Automata Theory. Artificial Intelligence.

Change password

Login