Unity of Logic and Computation
de Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
Ediciones (1)
- Unity of Logic and Computation (2023)
Springer · inglés · ISBN 9783031369773
de Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
Springer · inglés · ISBN 9783031369773
