Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon

Journal of Automated Reasoning, 2009.

Cited by: 0|Bibtex|Views5|

Code:

Data:

Your rating :
0

 

Tags
Comments