Search

Your search keyword '"Scott, Phil"' showing total 123 results

Search Constraints

Start Over You searched for: Author "Scott, Phil" Remove constraint Author: "Scott, Phil" Publication Year Range Last 10 years Remove constraint Publication Year Range: Last 10 years
123 results on '"Scott, Phil"'

Search Results

1. Where are the Natural Numbers in Hilbert's Foundations of Geometry?

2. Bootstrapping LCF Declarative Proofs

3. Compiling Purely Functional Structured Programs

4. Local Lexing

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

8. Ordered geometry in Hilbert's Grundlagen der Geometrie

9. ProofScript: Proof Scripting for the Masses

10. Type Inference for ZFH

20. Hacia un modelo de conexión entre la teoría y la práctica en el aula para el diseño y la evaluación de la enseñanza de las ciencias

21. The WFI Relative Calibration System for WFIRST

24. Diagnosis of respiratory disease in adult cattle using ultrasonography

25. The WFI Relative Calibration System for WFIRST

26. What you’re saying.

31. Burns' unit: Larry Burns is Detroit royalty, born and bred into the car business. It makes him an unlikely evangelist to be preaching the end of driving as we know it.

32. Driver, you're fired.

34. THE GENERAL'S generation.

35. The men who made Toyota.

36. WHAT YOU'RE SAYING.

37. SPLENDOR inTHESKY.

38. LET'S GO ANTIQING.

39. LETTERS.

41. Caravan chat.

42. Angola committed to growing sustainable aquaculture.

43. The Underwater Airship.

44. WHAT YOU’RE SAYING.

45. WHAT YOU'RE SAYING.

46. Vale John Lamm.

47. Dirty deeds.

49. Delicious Airline Food Really.

50. Brock-The truth!

Catalog

Books, media, physical & digital resources