Title of article
A multi-agent framework for distributed theorem proving
Author/Authors
Chih-Hung Wu، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
12
From page
554
To page
565
Keywords
Intelligent agents , KQML , Theorem proving , multi-agent system , First-order logic , The hyper-linking strategy
Journal title
Expert Systems with Applications
Serial Year
2005
Journal title
Expert Systems with Applications
Record number
198295
Link To Document