Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

Details 詳細情報について

• CRID

  1130000795743816320

• NII Book ID

  BA49939876

• ISBN

  3540415173

• LCCN

  00069849

• Web Site

  https://lccn.loc.gov/00069849

• Text Lang

  en

• Country Code

  gw

• Title Language Code

  en

• Place of Publication

  • Berlin ; New York

• Classification

  • LCC: QA76.9.A96
  • DC21: 005.13/1

• Subject

  • LCSH: Automatic theorem proving -- Congresses
  • LCSH: Computer programming -- Congresses
  • LCSH: Type theory -- Congresses

• Data Source

  • CiNii Books