http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Workshop on Computer Science Logic 1995 : Paderborn, Germany)
European Association for Computer Science Logic
viii, 485 pages : illustrations ; 24 cm.
Includes bibliographical references and index.
Lecture notes in computer science ; 1092