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

Automated Deduction – CADE-21

٢٠٠٧

Automated Reasoning

٢٠٠٨

Frontiers of Combining Systems

٢٠٠٩

Computer Science Logic

٢٠١٠

Automated Deduction -- CADE-23

٢٠١١

Automated Reasoning

٢٠١٠

Automated Deduction – CADE 27

٢٠١٩

Fields of Logic and Computation

٢٠١٠

Frontiers of Combining Systems

٢٠١١

Logic, Language, Information and Computation

٢٠١٠

Frontiers of Combining Systems

٢٠٠٧

Types for Proofs and Programs

٢٠٠٧

Functional and Logic Programming

٢٠٠٨

Logical Foundations of Computer Science

٢٠٠٩

Frontiers of Combining Systems

٢٠٢١