Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers Hanus Michael Heftet / 2021 / Engelsk
Intelligent Computer Mathematics 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings Kamareddine, Fairouz Heftet / 2021 / Engelsk
Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings Carette Jacques Heftet / 2009 / Engelsk
Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings Kaliszyk Cezary Heftet / 2019 / Engelsk