Automation of Reasoning O.P The responsibility for the contents

The responsibility for the contents of the reports nevertheless lies with the authors

Einfluß im 18

Im Rahmen einer explorativen Studie wurden ein kognitionspsychologisches Experiment und ein Spielverfahren mit Schülern mit und ohne Lernschwierigkeiten durchgeführt

- Kompetenzförderung innerhalb der Reihe

Eine Bande paßloser Leute

Automation of Reasoning O.P The responsibility for the contents"Kind of Cl'Ude ~ but it UJorks~ boy~ it UJOrksl" Alan Ner. ueH to Herb Simon~ C1rl'istmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica,