Cover von Automated deduction opens in new tab

Automated deduction

15th international conference on automated deduction : Lindau, Germany, July 5 - 10, 1998 : proceedings
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1421
Media group: MONOGRAPHIE
available

Copies

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

Content

International conference on automated deduction <15, 1998, Lindau>

Details

Search for this author
Year: 1998
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-64675-2
Description: XIV, 441 S.
Series: Lecture notes in artificial intelligence; 1421
Participating parties: Search for this character Kirchner, Claude; Kirchner, Helene
Parallel title: CADE 15
Media group: MONOGRAPHIE