German Maschinengestütztes Beweisen Cited by user Mabschaaf on 02 Feb 2015 Maschinengestütztes Beweisen (oder missverständlicher: automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf der Verwendung von…