(Q106245756)

English

Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013

academic conference

  • 23rd LOPSTR 2013: Madrid, Spain

Statements

Logic-Based Program Synthesis and Transformation, 23rd International Symposium (English)

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit