• RecordNumber
    2778
  • Title

    Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop

  • SubTitle
    Proceedings of a Workshop
  • Publication
    National Academy of Sciences
  • Publication Year
    2023
  • Collation
    x, 54p.
  • ISBN
    978-0-309-71025-1
    • Link To Document
    https://math.iranlibs.ir/dl/search/default.aspx?Term=2778&Field=0&DTC=13