The Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementation
Abstract
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].
Collections
- Artykuły (WFTIiMS) [207]