Now showing items 1-2 of 2

    • The Gentzen sequent calculus in e-testing. Pt. 1: Foundations 

      Niewiadomski, Adam; Indrzejczak, Andrzej (Wydawnictwo Politechniki ŁódzkiejLodz University of Technology. Press, 2010)
      Modern methods and trends in education, especially the so-called e-learning, are undeniably more and more popular and widely applied in recent years. The paper is focused on the subdomain of the e-learning area which is ...
    • The Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementation 

      Niewiadomski, Adam; Indrzejczak, Andrzej (Wydawnictwo Politechniki ŁódzkiejLodz University of Technology. Press, 2010)
      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].