Cover von Automated deduction opens in new tab

Automated deduction

11th international conference on automated deduction : Saratoga Springs, NY, USA, June 15 - 18, 1992 : proceedings
Search for this author
Year: 1992
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 607
Media group: MONOGRAPHIE
available

Copies

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

Content

International conference on automated deduction <11, 1992, Saratoga>

Details

Search for this author
Year: 1992
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-55602-8
ISBN (2nd): 0-387-55602-8
Description: XV, 793 S.
Series: Lecture notes in artificial intelligence; 607
Participating parties: Search for this character Kapur, Deepak
Parallel title: CADE-11
Media group: MONOGRAPHIE