Revision history of "IJCAR 2018"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 13:57, 23 July 2019OhlhoffM (talk | contribs). . (1,210 bytes) (+1,210). . (Created page with "{{Event |Acronym=IJCAR 2018 |Title=9th International Joint Conference on Automated Reasoning |Series=IJCAR |Type=Conference |Field=automated reasoning |Start date=2018/07/14 |...")