• RecordNumber
    28324
  • LC Class
    QA
  • LC Number
    3
  • LC CutterNumber
    .L28,no.125
  • Dewey Class
    164
  • Title

    Symposium on Automatic Demonstration

  • Author Statement
    edited by M. Laudet [and others]
  • Publication
    Springer-Verlag
  • Publication Year
    1970
  • Collation
    310 p., 26 cm
  • Series
    Lecture notes in mathematics, 125
  • Notes
    English or French
  • Subject

    Automatic theorem proving -- Congresses

  • ADDED ENTRIES
    Laudet, M., ed
  • DocumentNumber
    10479
  • Biblography
    Includes bibliographies.
  • BL
    BL