An Optimal Decision Procedure for Right Propositional Neighborhood Logic

By Bresolin Davide   Montanari Angelo   Sciavicco Guido  

Journal of Automated Reasoning, Vol. 38, Iss. 1-3, 2007-04 ,pp. : 173-199

Springer Publishing Company

Access to resources Recommend Favorite

Proof by computation in the Coq system

By Oostdijk M.   Geuvers H.  

Theoretical Computer Science, Vol. 272, Iss. 1, 2002-02 ,pp. : 293-314

Elsevier

Access to resources Recommend Favorite

Consistent subsets of inconsistent systems: structure and behaviour

By Lozinskii Eliezer L.  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 15, Iss. 1, 2003-01 ,pp. : 25-46

Taylor & Francis Ltd

Access to resources Recommend Favorite

On the criterion of optimal product structure in the micro-economic system (enterprise) and adjustment of product structure

By Tao Lixin  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 32, Iss. 5-6, 2003-06 ,pp. : 837-844

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Easy As

By York Gary  

ITNOW, Vol. 55, Iss. 2, 2013-06 ,pp. : 36-37

Oxford University Press

Access to resources Recommend Favorite