Search

Your search keyword '"Scott, Phil"' showing total 1,071 results

Search Constraints

Start Over You searched for: Author "Scott, Phil" Remove constraint Author: "Scott, Phil"
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

7. Social Network Processes in the Isabelle and Coq Theorem Proving Communities

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

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

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.

32. The Initial Teacher Training National Curriculum for Secondary Science: On Learning To Be a High School Physics Teacher.

42. LASH Out

47. Eye Spy

50. Throttled

Catalog

Books, media, physical & digital resources