Cover von 2nd international workshop on complexity in automated deduction; 6 opens in new tab

2nd international workshop on complexity in automated deduction; 6

special issue : S. 639-740
Search for this author
Year: 2004
Publisher: Berlin, Springer
Count: 6
Media group: SPECIAL ISSUE
available

Copies

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

Content

International workshop on complexity in automated deduction <2, 2002, Copenhagen>

Details

Search for this author
Year: 2004
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
Volume: 37
Count: 6
Participating parties: Search for this character Gottlob, Georg; Hermann, Miki; Rusinowitch, Michael
Parallel title: STACS 2002
Media group: SPECIAL ISSUE