Edinburgh LCF : a mechanised logic of computation /

Geahča maid

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