Vol-2584⫷ Vol-2585 ⫸Vol-2586
urn:nbn:de:0074-2585-0


Vol-2585/paper4⫷Vol-2585/paper5⫸Vol-2585/paper6

Methodology to represent functions in logic BL⊃