Title of article :
A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes
Author/Authors :
B. Pradeep، نويسنده , , C. Siva Ram Murthy، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1995
Pages :
10
From page :
175
To page :
184
Journal title :
Information Sciences
Serial Year :
1995
Journal title :
Information Sciences
Record number :
175505
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=175505