Edinburgh LCF : a mechanised logic of computation /

Παρόμοια τεκμήρια

• Up to the mark : a study of the examination game/
  ανά: 422937 Miller, C. M. L.
  Έκδοση: (1974)
• Life-Cycle Flexibility: Design and Exercise of Flexibility in Blended Wing Body Type Aircraft & Houston Ground Transportation Network
  ανά: McConnell, Joshua
  Έκδοση: (2014)
• Computability and logic /
  ανά: 386993 Boolos, George, κ.ά.
  Έκδοση: (1989)
• Mechanising computation [filem]
  Έκδοση: ([n.d)
• Mechanising computation [kasetvideo]
  Έκδοση: ([19-)