01.08.2015 18:28 Uhr, Quelle: Heise

CADE-25: Computer-Logiker treffen sich in Berlin

Heute startet in der Freien Universität Berlin die 25. Internationale "Conference on Automated Deduction", auf der die jüngsten Fortschritte bei computergestützten Beweisverfahren diskutiert werden.

Weiterlesen bei Heise