Cover von Strategies in automated deduction; 1/4 opens in new tab

Strategies in automated deduction; 1/4

S. 1 - 257
Search for this author
Year: 2000
Publisher: Bussum, Baltzer
Count: 1/4
Media group: SPECIAL ISSUE
available

Copies

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

Details

Search for this author
Year: 2000
Publisher: Bussum, Baltzer
opens in new tab
Search for this systematic
Search for this subject type
Volume: 29
Count: 1/4
Participating parties: Search for this character Kirchner, Helene
Media group: SPECIAL ISSUE