(Q106245757)

English

Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011

academic conference

  • 21st LOPSTR 2011: Odense, Denmark

Statements

Logic-Based Program Synthesis and Transformation - 21st International Symposium (English)

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit