Wikidata

(Q113582087)

English

7th Workshop on Practical Aspects of Automated Reasoning

academic workshop

  • PAAR 2020
In more languages

Statements

short name
PAAR 2020 (English)
0 references
title
7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 (English)
0 references
start time
29 June 2020
0 references
end time
30 June 2020
0 references

Identifiers

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