14th International Workshop on the Implementation of Logics - IWIL 2020
IWIL 2020
- URL: http://www.eprover.org/EVENTS/IWIL-2020.html
- Event Date: 2020-05-22 ~ 2020-05-22
- Abstract Submission Date: 2020-04-12
- Submission Date: 2020-05-15
- Organizer: Program Committee of LPAR23
- Location: Alicante, Spain
Engineering & Computer Science (General) Software Systems Theoretical Computer Science Philosophy Mathematical Optimization Physics & Mathematics (General) Pure & Applied Mathematics Computational Mathematics Discrete Mathematics
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
