Cover von Automated Deduction opens in new tab

Automated Deduction

CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 10395
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Automated Deduction <26, 2017, Gothenburg>

Details

Search for this author
Year: 2017
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-319-63045-8
ISBN (2nd): 3-319-63045-8
Description: XI, 579 S.
Series: Lecture notes in artificial intelligence; 10395
Participating parties: Search for this character Moura, Leonardo de
Media group: MONOGRAPHIE