Perspectives of System Informatics Mehr Bücher von 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