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.