in_proceedings
Detail
Publication date: 1 de June, 2021PAAR 2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning
| Publisher | Easychair |
|---|---|
| Series | Easychair Proceedings in Computing |
| Volume | 21 |
| Pub. Date | 01/01/2013 |
| Publisher | Easychair |
|---|---|
| Series | Easychair Proceedings in Computing |
| Volume | 21 |
| Pub. Date | 01/01/2013 |