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

  1. Roanes-Lozano, E.
  2. Alonso, J.A.
  3. Hernando, A.
Aldizkaria:
Mathematics and Computers in Simulation

ISSN: 0378-4754

Argitalpen urtea: 2014

Alea: 104

Orrialdeak: 31-42

Mota: Artikulua

DOI: 10.1016/J.MATCOM.2012.06.012 GOOGLE SCHOLAR
Datuen iturria: Scopus