Wikidata

(Q113637454)

English

Workshop on Formal Mathematics for Mathematicians

academic workshop

  • FMM 2016
In more languages

Statements

short name
FMM 2016 (English)
0 references
title
Workshop on Formal Mathematics for Mathematicians (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=Q113637454&oldid=2007228710"