( en | de | ru )

 

Disambiguation of "Harrison, John"

Author of the publication

copydeleteadd this publication to your clipboard
Evolving Persistent Archives and Digital Library Systems: Integrating iRods, Cheshire3 and Multivalent.

, , , , , and . Int. J. Digit. Curation, 8 (2): 47-67 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dave Harrison

David Harrison

Elizabeth Harrison

Harrison Kia

Alan Harrison

 

Other publications of authors with the same name

Re-envisioning instructional technology research in higher education environments: a content analysis of a grant program., , , and . J. Comput. High. Educ., 24 (3): 164-181 (2012)The HOL Light Theory of Euclidean Space.. J. Autom. Reason., 50 (2): 173-190 (2013)A Skeptic's Approach to Combining HOL and Maple., and . J. Autom. Reason., 21 (3): 279-294 (1998)Verifying the Accuracy of Polynomial Approximations in HOL.. TPHOLs, volume 1275 of Lecture Notes in Computer Science, page 137-152. Springer, (1997)Floating Point Verification in HOL Light: The Exponential Function.. AMAST, volume 1349 of Lecture Notes in Computer Science, page 246-260. Springer, (1997)Floating-Point Verification Using Theorem Proving.. SFM, volume 3965 of Lecture Notes in Computer Science, page 211-242. Springer, (2006)Theorem proving with the real numbers.. CPHC/BCS distinguished dissertations Springer, (1998)British Library, EThOS.A HOL Theory of Euclidean Space.. TPHOLs, volume 3603 of Lecture Notes in Computer Science, page 114-129. Springer, (2005)A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format., , , , , and . IEEE Trans. Computers, 58 (2): 148-162 (2009)Some new results on decidability for elementary algebra and geometry., , and . Ann. Pure Appl. Log., 163 (12): 1765-1802 (2012)