Cover von Automated Deduction opens in new tab

Automated Deduction

CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1 - 4, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 14132
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Automated Deduction < 29, 2023, Rome>

Details

Search for this author
Year: 2023
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-031-38498-1
ISBN (2nd): 3-031-38498-9
Description: 589 S.
Series: Lecture notes in artificial intelligence; 14132
Participating parties: Search for this character Pientka, Brigitte; Tinelli, Cesare
Media group: MONOGRAPHIE