(Q5153563)

English

Common Logic

framework for a family of logic languages

  • CL

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit