论文信息 - The Gentzen Sequent Calculus in E-Testing. Part II: Algorithms and Implementation

The Gentzen Sequent Calculus in E-Testing. Part II: Algorithms and Implementation

This paper contains the description of algorithms and their implementations, the foundations and background of which are presented in Part I of this paper [1].

Andrzej Indrzejczak | Adam Niewiadomski | Andrzej Indrzejczak | A. Niewiadomski

[1] Andrzej Indrzejczak,et al. The Gentzen Sequent Calculus in E-Testing. Part I: Foundations , 2010 .

[2] Sushmita Mitra,et al. Data Mining , 2003 .

[3] Madhuri S. Mulekar. Data Mining: Multimedia, Soft Computing, and Bioinformatics , 2004, Technometrics.

[4] S. Gottwald,et al. Fuzzy sets, fuzzy logic, fuzzy methods with applications , 1995 .

[5] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .