Vol-2751⫷ Vol-2752 ⫸Vol-2753
urn:nbn:de:0074-2752-0


Vol-2752/xpreface⫷Vol-2752/paper1⫸Vol-2752/paper2

Animated Logic: Correct Functional Conversion to Conjunctive Normal Form