Keisuke Nakano, Konstantinos Sagonas

Functional and Logic Programming - Springer Springer 2020

9783030590253

EBOOK