Search results
From Termination-Portal.org
Jump to navigationJump to search
- * Jürgen Giesl, RWTH Aachen, Germany ...ice under joint development (since 2012) at the University of Iowa and the University of Miami.7 KB (1,056 words) - 21:06, 5 September 2016
- August 24-25, 2023, [https://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria. [https://goo.gl/maps/2Z2ekhg4ftbnLj5o7 (Google Ede ([http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 1997]),11 KB (1,420 words) - 17:02, 17 August 2023
- * Jürgen Giesl, RWTH Aachen, Germany ...ice under joint development (since 2012) at the University of Iowa and the University of Miami.9 KB (1,240 words) - 11:55, 6 August 2015