Contact
For enquiries, please contact the local organisers at ijcar-org@cs.man.ac.uk.
IJCAR – The 6th International Joint Conference on Automated Reasoning |
||||
CADE | FroCoS | FTP | Tableaux | |
The International Joint Conference on Automated Reasoning |
For enquiries, please contact the local organisers at ijcar-org@cs.man.ac.uk.