• RecordNumber
    17027
  • LC Class
    QA
  • LC Number
    63
  • LC CutterNumber
    .K68
  • Dewey Class
    519
  • Dewey Date
    .7
  • Author

    Kowalski, Robert

  • Title

    Logic for problem solving

  • Author Statement
    Robert Kowalski
  • Publication
    Elsevier North Holland
  • Publication Year
    c1979
  • Collation
    287 p. : ill. ; 24 cm
  • Series
    Artificial intelligence series,The Computer science library
  • Subject

    Problem solving,Electronic digital computers -- Programming,Logic, Symbolic and mathematical

  • Holding Info.
    0444003657
  • DocumentNumber
    2138
  • Index
    Includes index.
  • Biblography
    Bibliography: p. 247-260.
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=17027&Field=0&DTC=100