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

Author(s)

• Lloyd, J. W. (John Wylie)

Bibliographic Information

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

John W. Lloyd (ed.)

（ESPRIT basic research series）

Springer-Verlag, c1990

• : gw
• : us

Details

• NCID: BA11557221
• ISBN:
  • 3540534377
  • 0387534377
• LCCN: 90024753
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: ix, 211 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.A96
  • DC20 : 004/.01/51
• Subject Headings:
  • LCSH : Automatic theorem proving -- Congresses
  • LCSH : Logic, Symbolic and Mathematical -- Congresses
• Parent Bibliography ID:
  • BA11557254