Simulating Parity Reasoning (2013)
- BOOKTITLE:
- Logic Programming and Automated Reasoning, 19th International Conference, LPAR 2013, Stellenbosch, South Africa, December 15-19, 2013, Proceedings
- SERIES:
- Advanced Research in Computing and Software Science, LNCS ARCoSS
|