Vol-2210⫷ Vol-2211 ⫸Vol-2212
urn:nbn:de:0074-2211-0


Vol-2211/paper-28⫷Vol-2211/paper-29⫸Vol-2211/paper-30
Peter PaulovicsJúlia PukancováMartin Homola

SIVA: An Educational Tool for the Tableau Reasoning Algorithm