APA (7th ed.) Citation

Harrison, J., Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., . . . Brandt, J. (2007). Verifying Nonlinear Real Formulas Via Sums of Squares. Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings, 4732, 102. https://doi.org/10.1007/978-3-540-74591-4_9

Chicago Style (17th ed.) Citation

Harrison, John, et al. "Verifying Nonlinear Real Formulas Via Sums of Squares." Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings 4732 (2007): 102. https://doi.org/10.1007/978-3-540-74591-4_9.

MLA (9th ed.) Citation

Harrison, John, et al. "Verifying Nonlinear Real Formulas Via Sums of Squares." Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings, vol. 4732, 2007, p. 102, https://doi.org/10.1007/978-3-540-74591-4_9.