Automated Reasoning المزيد من الكتب المشابهة

Logic, Language, Information, and Computation

٢٠١٨

Relational and Algebraic Methods in Computer Science

٢٠١٨

Logic, Language, Information, and Computation

٢٠١٧

Logical Foundations of Computer Science

٢٠١٧

Logic, Language, Information, and Computation

٢٠١٦

Coalgebraic Methods in Computer Science

٢٠٢٠

Logic and Its Applications

٢٠١٩

Automated Reasoning

٢٠٢٢

PROOF AND COMPUTATION II

٢٠٢١

Theorem Proving in Higher Order Logics

٢٠٠٧

Coalgebraic Methods in Computer Science

٢٠١٦

Relations and Kleene Algebra in Computer Science

٢٠٠٩

Relational and Algebraic Methods in Computer Science

٢٠١٧

Rewriting, Computation and Proof

٢٠٠٧

Logic and Its Applications

٢٠١٦