Simulating Parity Reasoning (2013)

AUTHORS:

Laitinen Tero , Junttila Tommi , Niemelä Ilkka

  • BOOKTITLE:
  • SERIES:
  • Advanced Research in Computing and Software Science, LNCS ARCoSS