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


Vol-2585/paper4⫷Vol-2585/paper5⫸Vol-2585/paper6
Mauricio Osorio 0001Daniela Hernández-GrijalvaAlejandro Hernández-Tello

Methodology to represent functions in logic BL⊃