Classical papers on computational logic

Details 詳細情報について

• CRID

  1130282270784537984

• NII Book ID

  BA18842168

• ISBN

  3540120432

  3540120440

• LCCN

  83172968

• Web Site

  https://lccn.loc.gov/83172968

• Country Code

  gw

• Title Language Code

  en

• Place of Publication

  • Berlin ; New York

• Classification

  • LCC: QA76.9.A96
  • DC19: 001.53/5

• Subject

  • LCSH: Automatic theorem proving

• Data Source

  • CiNii Books