Please use this identifier to cite or link to this item:
|Title:||A survey on computing prime implicants and implicates in classical and non-classical logics|
First order logic
|Citation:||Computer Systems Science and Engineering, 29(5), 327-340|
|Abstract:||In this paper we survey different methods of computation of prime implicants and implicates in prepositional, first order and modal logic and their applications in electrical engineering, truth maintenance systems and Diagnosis.|
|Appears in Collections:||Articles|
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.