Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings

Author(s)

• Workshop on Computer Science Logic
• Gottlob, Georg
• Grandjean, E.
• Seyr, Katrin

Bibliographic Information

Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings

Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)

（Lecture notes in computer science, 1584）

Springer, c1999

Note

Includes bibliographical references and index

Details

• NCID: BA4128155X
• ISBN:
  • 3540659226
• LCCN: 99030760
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: x, 429 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.L63
  • DC21 : 004/.01/5113
• Subject Headings:
  • LCSH : Computer logic -- Congresses
• Parent Bibliography ID:
  • BA00009279