Unity of Logic and Computation
Unity of Logic and Computation
2023
Florin Manea
,
Gianluca Della Vedova
,
Besik Dundua
,
Steffen Lempp
Details
First published
2023
OL Work ID
OL35719838W
Find this book
Goodreads
Open Library