The anatomy of a comprehensive constrained, restrained refinement program for the modern computing environment - Olex2 dissected (Q41818167)

From Wikidata
Jump to navigation Jump to search
2015 scientific article
edit
Language Label Description Also known as
English
The anatomy of a comprehensive constrained, restrained refinement program for the modern computing environment - Olex2 dissected
2015 scientific article

    Statements

    The anatomy of a comprehensive constrained, restrained refinement program for the modern computing environment - Olex2 dissected (English)
    0 references
    0 references
    0 references
    0 references
    January 2015
    0 references

    Identifiers

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    edit