Wikidata

(Q113637494)

English

The 2016 Workshop on Theorem proving components for Educational software (ThEdu)

academic workshop

  • ThEdu 2016
In more languages

Statements

short name
ThEdu 2016 (English)
0 references
title
The 2016 Workshop on Theorem proving components for Educational software (ThEdu) (English)
0 references
start time
25 July 2016
1 reference
reference URL
http://ceur-ws.org/Vol-1785/
retrieved
9 September 2022
end time
29 July 2016
1 reference
reference URL
http://ceur-ws.org/Vol-1785/
retrieved
9 September 2022

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q113637494&oldid=2007228718"