Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings

著者

• Börger, Egon
• Workshop on Computer Science Logic

書誌事項

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings

E. Börger ... [et al.], eds

（Lecture notes in computer science, 626）

Springer-Verlag, c1992

• : gw
• : us

詳細情報

• NII書誌ID(NCID): BA18515376
• ISBN:
  • 354055789X
  • 038755789X
• LCCN: 92023683
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: viii, 428 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.9.L63
  • LCC : QA75.5
  • DC20 : 004/.01/5113
• 件名:
  • LCSH : Computer logic -- Congresses
  • LCSH : Computer science -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• 親書誌ID:
  • BA00009279