• polski
    • English
Lodz University of Technology Repository
TUL Repository
  • English 
    • polski
    • English
  • Login
View Item 
  •   Home
  • Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej / Faculty of Technical Physics, Information Technology and Applied Mathematics / W7
  • Artykuły (WFTIiMS)
  • View Item
  •   Home
  • Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej / Faculty of Technical Physics, Information Technology and Applied Mathematics / W7
  • Artykuły (WFTIiMS)
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

The Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementation

Thumbnail
View/Open
The_Gentzen_sequent_Niewiadomski_2010.pdf (264.1Kb)
Date
2010
Author
Niewiadomski, Adam
Indrzejczak, Andrzej
Metadata
Show full item record
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].
URI
http://hdl.handle.net/11652/447
Collections
  • Artykuły (WFTIiMS) [207]

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV