• Kategorien
• Tags
• Styles

• Bildung/Kunst (63)
• Computer/Technik (72)
• Gesellschaft (35)
• Gesundheit (31)
• Hobbies (36)
• Informationen (51)
• Karriere (21)
• Kultur/Freizeit (53)
• News (74)
• Politik (63)
• Recht (32)
• Sport (71)
• Verkehr (27)
• Wirtschaft (83)
• Wissenschaft/Forschung (32)
  • Abfallwirtschaft (0)
  • Agrarwissenschaften (2)
  • Astronomie (4)
  • Bergbau (1)
  • BWL (2)
  • Denkmalpflege (0)
  • Design/Gestaltung (7)
  • Dramaturgie (0)
  • Drucktechnik (0)
  • Ethik (1)
  • Fotografie (4)
  • Geisteswisseschaften (8)
  • Geowissenschaften (8)
  • Immobilienwirtschaft (3)
  • Informatik (9)
    • Angewandte Informatik (1)
    • Geoinformatik (1)
    • Künstliche Intelligenz (0)
    • Programmiersprachen (0)
    • Technische Informatik (1)
    • Theoretische Informatik (0)
  • Ingenieurwissenschaften (5)
  • Mathematik (5)
  • Medienwissenschaften (10)
  • Medizin (5)
  • Naturwissenschaften (1)
  • Psychologie (1)
  • Rechtswissenschaften (6)
  • Sozialwissenschaften (6)
  • Sportwissenschaften (2)
  • Wirtschaftswissenschaften (3)

Functional Programming and Theorem Proving - a gentle overview

Tuesday, 21 March 2006 15:15, by: Florian Haftmann Technical University of Munich