Perspectives of System Informatics More Books by Nikolaj Bjørner, Irina Virbitskaite & Andrei Voronkov

Distributed Computing and Internet Technology Distributed Computing and Internet Technology
Distributed Computing and Internet Technology
2016
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
Automated Deduction -- CADE-23
2011