Alexander Steen und Max Wisniewski werden Vizeweltmeister im Automatischen Theorembeweisen

News vom 28.08.2017

Der an der Freien Universität Berlin entwickelte automatische Theorembeweiser Leo-III hat in der Weltmeisterschaft im Theorembeweisen in der Kategorie „höherstufige Logik“ den zweiten Platz belegt.

Zur Pressemitteilung

1 von 28