Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author="Sigrun Kabisch, Dieter...
cover
Die Resiliente Stadt
Comment Share
Sigrun Kabisch, Dieter Rink, Ellen Banzhaf

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundati…

Edition
-
ISBN/ISSN
978-3-662-66915-0
Collation
XXV, 592
Series Title
-
Call Number
-