Computational logic : symposium proceedings, Brussels, November 13/14, 1990

Details 詳細情報について

• CRID

  1130282270741169792

• NII Book ID

  BA11557221

• ISBN

  3540534377

  0387534377

• LCCN

  90024753

• Web Site

  https://lccn.loc.gov/90024753

• Text Lang

  en

• Country Code

  gw

• Title Language Code

  en

• Place of Publication

  • Berlin ; New York

• Classification

  • LCC: QA76.9.A96
  • DC20: 004/.01/51

• Subject

  • LCSH: Automatic theorem proving -- Congresses
  • LCSH: Logic, Symbolic and Mathematical -- Congresses

• Data Source

  • CiNii Books