Distributed Computing and Internet Technology المزيد من كتب Nikolaj Bjørner, Sanjiva Prasad & Laxmi Parida

Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
٢٠١٩
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
Automated Deduction -- CADE-23
٢٠١١