[go: up one dir, main page]

"Revisiting four-valued logics from Maple using the Logics Explorer package."

Eugenio Roanes-Lozano, José-Antonio Alonso, Antonio Hernando (2014)

Details and statistics

DOI: 10.1016/J.MATCOM.2012.06.012

access: closed

type: Journal Article

metadata version: 2020-03-04