Cover von Automated deduction opens in new tab

Automated deduction

CADE-21 : 21st international conference on automated deduction : Bremen, Germany, July 17 - 20, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4603
Media group: MONOGRAPHIE
available

Copies

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

Content

International conference on automated deduction <21, 2007, Bremen>

Details

Search for this author
Year: 2007
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-540-73594-6
ISBN (2nd): 3-540-73594-1
Description: XII, 522 S.
Series: Lecture notes in artificial intelligence; 4603
Participating parties: Search for this character Pfenning, Frank
Parallel title: CADE 2007
Media group: MONOGRAPHIE