1,071 results on '"Scott, Phil"'
Search Results
2. Where are the Natural Numbers in Hilbert's Foundations of Geometry?
3. Bootstrapping LCF Declarative Proofs
4. Compiling Purely Functional Structured Programs
5. Local Lexing
6. Morning resistance exercise and cricket-specific repeated sprinting each improve indices of afternoon physical and cognitive performance in professional male cricketers
7. Social Network Processes in the Isabelle and Coq Theorem Proving Communities
8. Variability and physical demands of international seam bowlers in one-day and Twenty20 international matches across five years
9. ProofPeer: Collaborative Theorem Proving
10. Ordered geometry in Hilbert's Grundlagen der Geometrie
11. ProofScript: Proof Scripting for the Masses
12. Type Inference for ZFH
13. Cricket
14. A Conceptual Profile of Entropy and Spontaneity: Characterising Modes of Thinking and Ways of Speaking in the Classroom
15. Conceptual Profiles: Theoretical-Methodological Bases of a Research Program
16. The Heterogeneity of Discourse in Science Classrooms: The Conceptual Profile Approach
17. Classroom Discourse and Science Learning : Issues of Engagement, Quality and Outcome
18. A Combinator Language for Theorem Discovery
19. An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time
20. Composable Discovery Engines for Interactive Theorem Proving
21. Salivary testosterone responses to a physical and psychological stimulus and subsequent effects on physical performance in healthy adults
22. Meaning Making in High School Science Classrooms: A Framework for Analysing Meaning Making Interactions
23. Pedagogical Link-Making: A Fundamental Aspect of Teaching and Learning Scientific Conceptual Knowledge
24. Applying Metaphors for Learning to Continuing Professional Development (CPD), in the Context of a Course for Special Educational Needs Coordinators (SENCOs)
25. Learning from and Responding to Students' Questions: The Authoritative and Dialogic Tension
26. Using Perspectives on Subject Learning to Inform the Design of Subject Teaching: An Example from Science Education
27. Characterising Individual and Social Concept Development in Collaborative Computer Science Classrooms
28. The Design and Evaluation of a Teaching-Learning Sequence Addressing the Solubility Concept with Turkish Secondary School Students. Special Issue
29. Individual and Sociocultural Views of Learning in Science Education.
30. Designing and Evaluating Science Teaching Sequences: An Approach Drawing upon the Concept of Learning Demand and a Social Constructivist Perspective on Learning.
31. EPSE Project 2: Designing and Evaluating Short Teaching Sequences, Informed by Research Evidence.
32. The Initial Teacher Training National Curriculum for Secondary Science: On Learning To Be a High School Physics Teacher.
33. Variability of test match cricket and the effects of match location on physical demands in male seam bowlers
34. Digit amputation in small ruminants
35. ProofScript: Proof Scripting for the Masses
36. No Bath Time
37. Dosing ewes at lambing time
38. Special Diagnostic Procedures
39. Beef Suckler Herd Health: Key Intervention Points
40. Beef Suckler Cow Diseases: Monitoring and Surveillance
41. Eye on the Junk
42. LASH Out
43. Lowering the Boom
44. Relationship between thoracic auscultation and lung pathology detected by ultrasonography in sheep
45. Nothing but Net
46. Heads on Tails
47. Eye Spy
48. I, Robonaut
49. Collision Decision
50. Throttled
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.