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

著者

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

書誌事項

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

注記

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

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BD08319089
• ISBN:
  • 9783031634970
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: xvi, 482 p.
• 大きさ: 24 cm
• 件名:
  • LCSH : Machine theory
  • LCSH : Software engineering
• 親書誌ID:
  • BC04575556