Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Details 詳細情報について

• CRID

  1130282269598496768

• NII Book ID

  BA13014293

• ISBN

  3540544879

  0387544879

• LCCN

  91028940

• Web Site

  https://lccn.loc.gov/91028940

• Text Lang

  en

• Country Code

  gw

• Title Language Code

  en

• Place of Publication

  • Berlin ; Tokyo

• Classification

  • LCC: QA76.9.L63
  • LCC: QA75.5
  • DC20: 004
  • NDC8: 007.6

• Subject

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

• Data Source

  • CiNii Books