Sciweavers

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
Recent countries visiting this post
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
us3United States
ru1Russian Federation