Cover von Automated deduction opens in new tab

Automated deduction

14th international conference on automated deduction : Townsville, North Queensland, Australia, July 13 - 17, 1997 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1249
Media group: MONOGRAPHIE
available

Copies

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

Content

International conference on automated deduction <14, 1997, Townsville>

Details

Search for this author
Year: 1997
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-63104-6
Description: XIV, 462 S.
Series: Lecture notes in artificial intelligence; 1249
Participating parties: Search for this character MacCune, William W.
Parallel title: CADE-14
Media group: MONOGRAPHIE