Automated Deduction -- CADE-23 More Books by Nikolaj Bjørner & Viorica Sofronie-Stokkermans

Perspectives of System Informatics

2019

Distributed Computing and Internet Technology

2016