Wikidata

(Q113672709)

English

Workshop on Knowledge Exchange: Automated Provers and Proof Assistants

academic workshop

  • KEAPPA 2008
In more languages

Statements

short name
KEAPPA 2008 (English)
0 references
title
Knowledge Exchange: Automated Provers and Proof Assistants (English)
0 references
start time
22 November 2008
1 reference
reference URL
http://ceur-ws.org/Vol-418/
retrieved
9 September 2022
end time
22 November 2008
1 reference
reference URL
http://ceur-ws.org/Vol-418/
retrieved
9 September 2022

Identifiers

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