Category talk:Automated reasoning

From Openresearch
Revision as of 05:33, 15 October 2012 by 142.11.215.181 (talk) (VlegZUbYQbNMqbUZ)
Jump to: navigation, search

We could've done with that insgiht early on.