Show simple item record

dc.contributor.authorNiewiadomski, Adam
dc.contributor.authorIndrzejczak, Andrzej
dc.date.accessioned2015-06-03T11:15:59Z
dc.date.available2015-06-03T11:15:59Z
dc.date.issued2010
dc.identifier.citationJournal of Applied Computer Science., 2010 Vol.18 nr 2 s.57-65
dc.identifier.issn1507-0360
dc.identifier.other0000027589
dc.identifier.urihttp://hdl.handle.net/11652/447
dc.description.abstractThis paper contains the description of algorithms and their implementations, the foundations and background of which are presented in Part I of this paper [1].en_EN
dc.formatapplication/pdf
dc.language.isoen
dc.publisherWydawnictwo Politechniki Łódzkiejpl_PL
dc.publisherLodz University of Technology. Pressen_EN
dc.relation.ispartofseriesJournal of Applied Computer Science., 2010 Vol.18 nr 2en_EN
dc.titleThe Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementation
dc.typeArtykuł


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record