Automated Reasoning : 12th International Joint Conference : IJCAR 2024 ; Nancy, France, July 3–6, 2024 ; Proceedings
Benzmüller, Christoph; Heule, Marijn J.H.; Schmidt, Renate A. (Hrsg.) (2024): Automated Reasoning : 12th International Joint Conference : IJCAR 2024 ; Nancy, France, July 3–6, 2024 ; Proceedings, Cham: Springer Nature Switzerland, doi: 10.1007/978-3-031-63498-7.
Editor:
 ;  ; 
Volume Number/Title:
Part 1
Publisher Information:
Year of publication:
2024
Pages:
ISBN:
978-3-031-63498-7
978-3-031-63497-0
978-3-031-63499-4
Language:
English
DOI:
Type:
Book
URI:
Activation date:
July 10, 2024

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/96329