Cover von Automated deduction opens in new tab

Automated deduction

16th international conference on automated deduction : Trento, Italy, July 7 - 10, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1632
Media group: MONOGRAPHIE
available

Copies

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

Content

International conference on automated deduction <16, 1999, Trento>

Details

Search for this author
Year: 1999
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-66222-7
Description: XIV, 428 S.
Series: Lecture notes in artificial intelligence; 1632
Participating parties: Search for this character Ganzinger, Harald
Parallel title: CADE-16
Media group: MONOGRAPHIE