( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Evolving Persistent Archives and Digital Library Systems: Integrating iRods, Cheshire3 and Multivalent.

, , , , , и . 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.

Dave Harrison

David Harrison

Elizabeth Harrison

Harrison Kia

Alan Harrison

 

Другие публикации лиц с тем же именем

A HOL Decision Procedure for Elementary Real Algebra.. HUG, том 780 из Lecture Notes in Computer Science, стр. 426-435. Springer, (1993)A Machine-Checked Theory of Floating Point Arithmetic.. TPHOLs, том 1690 из Lecture Notes in Computer Science, стр. 113-130. Springer, (1999)Reasoning About the Reals: The Marriage of HOL and Maple., и . LPAR, том 698 из Lecture Notes in Computer Science, стр. 351-353. Springer, (1993)Proof Style.. TYPES, том 1512 из Lecture Notes in Computer Science, стр. 154-172. Springer, (1996)Mobile learning materials as a 'prompt' for participation in physiology practical classes., , и . IJMLO, 6 (1): 25-37 (2012)Binary Decision Diagrams as a HOL Derived Rule.. Comput. J., 38 (2): 162-170 (1995)Questionable Benefit of Visual and Peer Mediated Learning on Overall Learning Outcomes of a First-Year Physiology Course., , и . Int. J. Mob. Blended Learn., 7 (1): 25-40 (2015)The Gergonne p-pile Problem and the Dynamics of the Function x | => (x + r)/p., , и . Discret. Appl. Math., 82 (1-3): 103-113 (1998)A formal proof of Pick's Theorem.. Math. Struct. Comput. Sci., 21 (4): 715-729 (2011)Theorem Proving for Verification (Invited Tutorial).. CAV, том 5123 из Lecture Notes in Computer Science, стр. 11-18. Springer, (2008)