Edinburgh Research Explorer

A Single-Significant-Digit Calculus for Semi-Automated Guesstimation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. / Abourbih, J. A.; Blaney, L.; Bundy, Alan; McNeill, F.

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin : Springer-Verlag GmbH, 2010. p. 354-368 (Lecture Notes in Computer Science; Vol. 6173).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Abourbih, JA, Blaney, L, Bundy, A & McNeill, F 2010, A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. in Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6173, Springer-Verlag GmbH, Berlin, pp. 354-368. https://doi.org/10.1007/978-3-642-14203-1_31

APA

Abourbih, J. A., Blaney, L., Bundy, A., & McNeill, F. (2010). A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. In Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings (pp. 354-368). (Lecture Notes in Computer Science; Vol. 6173). Berlin: Springer-Verlag GmbH. https://doi.org/10.1007/978-3-642-14203-1_31

Vancouver

Abourbih JA, Blaney L, Bundy A, McNeill F. A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. In Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer-Verlag GmbH. 2010. p. 354-368. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-14203-1_31

Author

Abourbih, J. A. ; Blaney, L. ; Bundy, Alan ; McNeill, F. / A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin : Springer-Verlag GmbH, 2010. pp. 354-368 (Lecture Notes in Computer Science).