( en | de | ru )

 

Disambiguation of "Harrison, John"

Author of the publication

copydeleteadd this publication to your clipboard
Questionable Benefit of Visual and Peer Mediated Learning on Overall Learning Outcomes of a First-Year Physiology Course.

, , and . Int. J. Mob. Blended Learn., 7 (1): 25-40 (2015)

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

A HOL Decision Procedure for Elementary Real Algebra.. HUG, volume 780 of Lecture Notes in Computer Science, page 426-435. Springer, (1993)A Machine-Checked Theory of Floating Point Arithmetic.. TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 113-130. Springer, (1999)Proof Style.. TYPES, volume 1512 of Lecture Notes in Computer Science, page 154-172. Springer, (1996)Reasoning About the Reals: The Marriage of HOL and Maple., and . LPAR, volume 698 of Lecture Notes in Computer Science, page 351-353. Springer, (1993)Mobile learning materials as a 'prompt' for participation in physiology practical classes., , and . 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., , and . 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., , and . Discret. Appl. Math., 82 (1-3): 103-113 (1998)Theorem Proving for Verification (Invited Tutorial).. CAV, volume 5123 of Lecture Notes in Computer Science, page 11-18. Springer, (2008)A formalized proof of Dirichlet's theorem on primes in arithmetic progression.. J. Formaliz. Reason., 2 (1): 63-83 (2009)