University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Chair for AI Systems Engineering (AISE)

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Applied Computer Science
  6. Chair for AI Systems Engineering (AISE)
  7. News
  8. Benzmüller is co-editor of a 2-volume work on "Automated Reasoning" in the renowned series "Lecture Notes in Artificial Intelligence" by Springer. These two open access volumes contains the papers of the 12th International Joint Conference on Automated R

Benzmüller is co-editor of a 2-volume work on "Automated Reasoning" in the renowned series "Lecture Notes in Artificial Intelligence" by Springer. These two open access volumes contains the papers of the 12th International Joint Conference on Automated R

Benzmüller is co-editor of a 2-volume work on "Automated Reasoning" in the renowned series "Lecture Notes in Artificial Intelligence" by Springer.

These two open access volumes contains the papers of the 12th International Joint Conference on Automated Reasoning (IJCAR) held in Nancy, France, during July 3–6, 2024. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops. IJCAR 2024 brought together the Conference on Automated Deduction (CADE), the International Symposium on Frontiers of Combining Systems (FroCoS), and the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX).