CADE-25: Computer-Logiker treffen sich in Berlin
(Bild: CADE ) 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. Zu den Wurzeln …
(Bild: CADE ) 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. Zu den Wurzeln …