(Q113637494)

English

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

academic workshop

ThEdu 2016

In more languages

default for all languages

No label defined

No description defined

edit

Statements

instance of

academic workshop

0 references

part of

Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016

0 references

short name

ThEdu 2016 (English)

0 references

title

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

0 references

country

Poland

1 reference

reference URL

http://ceur-ws.org/Vol-1785/

9 September 2022

1 reference

http://ceur-ws.org/Vol-1785/

retrieved

9 September 2022

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

official website

https://cicm-conference.org/2016/cicm.php?event=thedu

language of work or name

English

0 references

Identifiers

DBLP event ID

conf/cikm/fm4m2016

0 references

(Q113637494)

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

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)