Cover von Computer science logic opens in new tab

Computer science logic

10th international workshop : annual conference of the EACSL : Utrecht, the Netherlands, September 21 - 27, 1996 : selected papers
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1258
Media group: MONOGRAPHIE
available

Copies

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

Content

International workshop on computer science logic <10, 1997, Utrecht>

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-63172-0
Description: VIII, 471 S.
Series: Lecture notes in computer science; 1258
Participating parties: Search for this character Dalen, Dirk van; Bezem, Marc
Parallel title: CSL 96
Media group: MONOGRAPHIE