Title of article
On the verification of modular logical knowledge bases
Author/Authors
Grigoris Antoniou، نويسنده , , Volker Sperschneider، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1995
Pages
7
From page
351
To page
357
Journal title
Expert Systems with Applications
Serial Year
1995
Journal title
Expert Systems with Applications
Record number
186765
Link To Document