Improving legibility of proof scripts based on SMT Technology
IX Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Sep 17-20, 2014
Polskie Towarzystwo Informatyczne Oddział Podlaski, Wydział Informatyki Politechniki Białostockiej (org.)
