Cover von Automated Deduction opens in new tab

Automated Deduction

CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9195
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Automated Deduction <25, 2015, Berlin>

Details

Search for this author
Year: 2015
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-319-21400-9
ISBN (2nd): 3-319-21400-4
Description: 526 S.
Series: Lecture notes in computer science; 9195
Participating parties: Search for this character Felty, Amy P.; Middeldorp, Aart
Media group: MONOGRAPHIE