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

Details 詳細情報について

• CRID

  1130000797013391872

• NII Book ID

  BA27778274

• ISBN

  3540613773

• LCCN

  96023718

• Web Site

  https://lccn.loc.gov/96023718

• Text Lang

  en

• Country Code

  gw

• Title Language Code

  en

• Place of Publication

  • Berlin ; Tokyo

• Classification

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

• Subject

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

• Data Source

  • CiNii Books