Hrg. Adel Bouhoula, Hrg. Bruno Buchberger, Hrg. Tetsuo Ida, Hrg. Teimuraz Kutsia,
"Annals of Mathematics and Artificial Intelligence, Special Issue on Symbolic Computation in Software Science"
, in Annals of Mathematics and Artificial Intelligence, Vol. 91, Nummer 5, Springer, Seite(n) 563-565, 2023, ISSN: 1012-2443
Original Titel:
Annals of Mathematics and Artificial Intelligence, Special Issue on Symbolic Computation in Software Science