Cover von Automated Deduction opens in new tab

Automated Deduction

22nd International Conference on Automated Deduction, Montreal, Canada, August 2 - 7, 2009, proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5663
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Automated Deduction <22, 2009, Montreal>

Details

Search for this author
Year: 2009
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-02958-5
ISBN (2nd): 3-642-02958-2
Description: XIV, 504 S.
Series: Lecture notes in artificial intelligence; 5663
Participating parties: Search for this character Schmidt, Renate A.
Parallel title: CADE-22
Media group: MONOGRAPHIE