Vol-2709⫷ Vol-2710 ⫸Vol-2711
urn:nbn:de:0074-2710-0


Vol-2710/invited4⫷Vol-2710/paper1⫸Vol-2710/paper2

3coSoKu and its Logic Programming Modeling