Browsing Cilt 04, Sayı 2 (2015) by Subject "Applications of Logic"
Now showing items 1-1 of 1
-
An Object- Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language
(Bitlis Eren Üniversitesi, 2015)This article presents a technical construction of reasoning and counter-models for some sentences called fragments as in [9] in English. Speaking English and logical inferences are brought together in computer based approach ...
DSpace@BEU by Bitlis Eren University Institutional Repository is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 Unported License..
