Perspectives of System Informatics المزيد من كتب Nikolaj Bjørner, Irina Virbitskaite & Andrei Voronkov

Distributed Computing and Internet Technology

٢٠١٦

Automated Deduction -- CADE-23

٢٠١١