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
