galaxus.ch
Springer, Fachbücher, Functional and Logic Programming (Keisuke Nakano, Konstantinos Sagonas, 2020)
Das Buch "Functional and Logic Programming" dokumentiert die Proceedings des 15. Internationalen Symposiums für funktionale und logische Programmierung, das im September 2020 in Akita, Japan, stattfand. In diesem Band sind 12 sorgfältig ausgewählte und begutachtete Beiträge enthalten, die aus insgesamt 25 eingereichten Arbeiten hervorgegangen sind. Die behandelten Themen decken ein breites Spektrum ab, das die Gestaltung, Semantik, Theorie, Anwendungen, Implementierungen und die Lehre der…
