Cover von Automated reasoning opens in new tab

Automated reasoning

first international joint conference, Siena, Italy, June 18 - 22, 2001 : proceedings
Search for this author
Year: 2001
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 2083
Media group: MONOGRAPHIE
available

Copies

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

Content

International joint conference on automated reasoning <1, 2001, Siena>

Details

Search for this author
Year: 2001
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-42254-4
Description: XV, 708 S.
Series: Lecture notes in artificial intelligence; 2083
Participating parties: Search for this character Gore, Rajeev; Leitsch, Alexander; Nipkow, Tobias
Parallel title: IJCAR 2001
Media group: MONOGRAPHIE