Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

詳細情報 詳細情報について

• CRID

  1130000797013391872

• NII書誌ID

  BA27778274

• ISBN

  3540613773

• LCCN

  96023718

• Web Site

  https://lccn.loc.gov/96023718

• 本文言語コード

  en

• 出版国コード

  gw

• タイトル言語コード

  en

• 出版地

  • Berlin ; Tokyo

• 分類

  • NDC9: 549.9
  • LCC: QA76.9.L63
  • LCC: QA75.5
  • DC20: 004/.01/5113
  • NDC7: 549.9

• 件名

  • LCSH: Computer logic -- Congresses
  • LCSH: Computer science -- Congresses
  • LCSH: Logic, Symbolic and mathematical -- Congresses

• データソース種別

  • CiNii Books