The ISO effort towards an international standard for Common Logic began in June 2003 with the approval of a New Work Item (NP) for Common Logic. ·
http://cl.tamu.edu/
The ISO effort towards an international standard for Common Logic began in June 2003 with the approval of a New Work Item (NP) for Common Logic. ·
http://cl.tamu.edu/