Computational Logic
Department of Computer Science - Universität Innsbruck
Home
Research
Publications
Projects
Software
Teaching
Members
Aart Middeldorp
Edited Books
Events
Event Archive
News
News Archive
Search
You are here:
Home
News
News Archive
1 September 2022: CL welcomes Dohan Kim
1 September 2022: CL welcomes Dohan Kim
Dohan Kim joins the
ARI project
as post-doc.
Details
Category:
News Archive
Published: 28 April 2025
Previous article: December 18, 2018: Thibault Gauthier defends his PhD thesis
Prev
Next article: 9 July 2022: Congratulations to Christina Kohl
Next