Maschinengestütztes Beweisen

Enzyklopädie > M > Maschinengestütztes Beweisen

Maschinengestütztes Beweisen (oder missverständlicher: Automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf

Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.

Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.

Enzyklopädie - Maschinengestütztes Beweisen