The Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementation
Brak miniatury
Data
2010
Tytuł czasopisma
ISSN czasopisma
Tytuł tomu
Wydawca
Wydawnictwo Politechniki Łódzkiej
Lodz University of Technology. Press
Lodz University of Technology. Press
Abstrakt
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].
Opis
Słowa kluczowe
Cytowanie
Journal of Applied Computer Science., 2010 Vol.18 nr 2 s.57-65