• Record number
    1463
  • Title

    Lecture notes in artificial intelligence: Automated Deduction CADE-11

  • Publication
    Berlin Springer- Verlag
  • Published Year
    1992
  • Fierst Pages
    0
  • Main Pages
    794
  • Collation
    794
  • Notes
    006.3^cL417 , Glossary
  • Reprint
    False
  • Contents
    0
  • Print issue
    0
  • Subject

    Artificial Intelligence+CADE -11

  • Class
    006.3
  • CutterNumber
    L417
  • Language
    انگليسي