( en | de | ru )

 

Disambiguierung von "Harrison, John"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evolving Persistent Archives and Digital Library Systems: Integrating iRods, Cheshire3 and Multivalent.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dave Harrison

David Harrison

Elizabeth Harrison

Harrison Kia

Alan Harrison

 

Weitere Publikationen von Autoren mit dem selben Namen

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