加载中…
The main goal of this contribution is to introduce a cross-platform application to learn-teach syllogistic. We call this application for . To introduce this application we show the logical foundations for the game with a system we call , and its interface developed with LiveCode.

生成讲解博客的中文版本

生成AI智能校验的中文版本