A section is born: Studies in Automated Reasoning

  • Published 2004 in Journal of Automated Reasoning
Sorry, there's nothing here.

Cite this paper

@article{2004ASI, title={A section is born: Studies in Automated Reasoning}, author={}, journal={Journal of Automated Reasoning}, year={2004}, volume={8}, pages={1-2} }