Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, VOL:pt. 1

Author(s)

• IJCAR
• Benzmüller, Christoph
• Heule, Marijn J. H.
• Schmidt, Renate A.

Bibliographic Information

Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, VOL:pt. 1

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, editors

（Lecture notes in computer science, 14739 . Lecture notes in artificial intelligence）

Springer, c2024

Note

LNCS Sublibrary: SL7--Artificial intelligence--T.p. verso

Includes bibliographical references and index

Details

• NCID: BD08319089
• ISBN:
  • 9783031634970
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xvi, 482 p.
• Size: 24 cm
• Subject Headings:
  • LCSH : Machine theory
  • LCSH : Software engineering
• Parent Bibliography ID:
  • BC04575556