Cover von Automated deduction opens in new tab

Automated deduction

12th international conference on automated deduction : Nancy, France, June 26 - July 1, 1994 : proceedings
Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 814
Media group: MONOGRAPHIE
available

Copies

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

Content

International conference on automated deduction <12, 1994, Nancy>

Details

Search for this author
Year: 1994
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-58156-1
ISBN (2nd): 0-387-58156-1
Description: XVI, 848 S.
Series: Lecture notes in artificial intelligence; 814
Participating parties: Search for this character Bundy, Alan
Parallel title: CADE-12
Media group: MONOGRAPHIE