Representing the process of machine tool calibration on first-order logic

Simon Parkinson, Andrew Longstaff, Andrew Crampton, Simon Fletcher, G. Allen, Alan Myers. Representing the process of machine tool calibration on first-order logic. In 17th International Conference on Automation and Computing, ICAC 2011, Huddersfield, United Kingdom, September 10, 2011. pages 22-27, IEEE, 2011. [doi]

@inproceedings{ParkinsonLCFAM11,
  title = {Representing the process of machine tool calibration on first-order logic},
  author = {Simon Parkinson and Andrew Longstaff and Andrew Crampton and Simon Fletcher and G. Allen and Alan Myers},
  year = {2011},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6084895},
  researchr = {https://researchr.org/publication/ParkinsonLCFAM11},
  cites = {0},
  citedby = {0},
  pages = {22-27},
  booktitle = {17th International Conference on Automation and Computing, ICAC 2011, Huddersfield, United Kingdom, September 10, 2011},
  publisher = {IEEE},
  isbn = {978-1-4673-0000-1},
}