Vol-4229⫷ Vol-4230 ⫸Vol-4231
urn:nbn:de:0074-4230-0


Vol-4230/dl-paper5⫷Vol-4230/dl-paper6⫸Vol-4230/dl-paper8
Michaela TóthováJanka BoborováJúlia PukancováJakub KlocMartin Homola

Visualizing HS-Tree-Based Abductive Reasoning: An Educational Tool for Algorithm Exploration