Computability Theory المزيد من الكتب المشابهة
Foundations of Information and Knowledge Systems
٢٠١٨
From Lambda Calculus to Cybersecurity Through Program Analysis
٢٠٢٠
Foundations of Information and Knowledge Systems
٢٠٢٠
Automated Reasoning
٢٠١٦
Automated Reasoning
٢٠١٨
Interactive Theorem Proving
٢٠١٦
Game Theory
٢٠١٣
Type Systems for Distributed Programs: Components and Sessions
٢٠١٦
Invitation to Linear Programming and Game Theory
٢٠٢١
The Science of Learning Mathematical Proofs
٢٠٢٠
Languages: From Formal to Natural
٢٠٠٩
Interactive Theorem Proving
٢٠١٥
Mathematics and Computing 2013
٢٠١٤
Derivative-Free and Blackbox Optimization
٢٠١٧
Foundations of Information and Knowledge Systems
٢٠١٦