• RecordNumber
    2246
  • LC Class
    QA
  • LC Number
    76.9
  • LC CutterNumber
    .A96,S64
  • LC Date
    1983
  • Dewey Class
    511
  • Dewey Date
    .3
  • Author

    Special Session on Automatic Theorem Proving (1983 : Denver, Colo.)

  • Title

    Automated theorem proving

  • Author Statement
    W.W. Bledsoe and D.W. Loveland, editors
  • Publication
    American Mathematical Society
  • Publication Year
    1984
  • Collation
    ix, 360 p.: 26 cm
  • Series
    Contemporary mathematics, 0271-4132 ; v. 29
  • Notes
    "Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso
  • Subject

    Automatic theorem proving- Congresses

  • ADDED ENTRIES
    Bledsoe, W. W,Loveland, Donald W,American Mathematical Society,Series:Contemporary mathematics (American Mathematical Society) ; v. 29
  • Holding Info.
    082185027
  • DocumentNumber
    24542
  • SubTitle
    : after 25 years
  • Biblography
    Includes bibliographies
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=2246&Field=0&DTC=100