Cover von Automated Deduction – CADE 30 opens in new tab

Automated Deduction – CADE 30

30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 15943
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNAI 15943 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Conference on Automated Deduction <30, 2025, Stuttgart>

Details

Search for this author
Year: 2025
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-03-199983-3
ISBN (2nd): 3-03-199983-5
Description: XX, 756 S.
Series: Lecture notes in artificial intelligence; 15943
Participating parties: Search for this character Barrett, Clark; Waldmann, Uwe
Media group: MONOGRAPHIE