Logic, Computation and Rigorous Methods

Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe

Logic, Computation and Rigorous Methods - Springer Springer 2021

9783030760205

EBOOK