Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic Heftet / 2018 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings Baaz Matthias Heftet / 2002 / Engelsk
Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings Baaz Matthias Heftet / 2003 / Engelsk
