Niewiadomski, AdamIndrzejczak, Andrzej2015-06-032015-06-032010Journal of Applied Computer Science., 2010 Vol.18 nr 2 s.57-651507-03600000027589http://hdl.handle.net/11652/447This paper contains the description of algorithms and their implementations, the foundations and background of which are presented in Part I of this paper [1].application/pdfenThe Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementationArtykuł