Computer Science Logic المزيد من الكتب المشابهة

Logical Foundations of Computer Science

٢٠٠٩

Fields of Logic and Computation

٢٠١٠

Automated Reasoning

٢٠١٠

Frontiers of Combining Systems

٢٠٠٩

Logic, Language, Information and Computation

٢٠١٠

Automated Reasoning

٢٠٠٨

Automated Deduction -- CADE-23

٢٠١١

Computation and Logic in the Real World

٢٠٠٧

Handbook of Automated Reasoning

٢٠٠١

Automated Deduction – CADE-21

٢٠٠٧

Foundations of Software Science and Computational Structures

٢٠٠٩

Frontiers of Combining Systems

٢٠١١

Frontiers of Combining Systems

٢٠٠٧

Models of Computation in Context

٢٠١١

Computer Science - Theory and Applications

٢٠٠٨