Language: English

圖資館首頁

Login

Languages

English (2)

Covers

Jump To : Overview | Titles | Subjects

Benzmüller, Christoph.

Overview

Works:	0 works in 2 publications in 1 languages

Titles

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

Automated reasoning12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.Part I / by: (1998 :); 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