• Title of article

    Introduction to logical information systems

  • Author/Authors

    S. Ferré، نويسنده , , O. Ridoux، نويسنده ,

  • Pages
    37
  • From page
    383
  • To page
    419
  • Keywords
    Query formulation , Representation languages , Information search and retrieval , Deduction and theorem proving , Information systems
  • Journal title
    Astroparticle Physics
  • Record number

    233554

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=233554