Term Rewriting and All That المزيد من الكتب المشابهة

Computer Science Logic

٢٠١٠

Handbook of Automated Reasoning

٢٠٠١

Computation and Logic in the Real World

٢٠٠٧

Automated Reasoning

٢٠١٠

Logical Foundations of Computer Science

٢٠٠٩

Models of Computation in Context

٢٠١١

Computer Science - Theory and Applications

٢٠٠٨

Automated Deduction – CADE-21

٢٠٠٧

Fields of Logic and Computation

٢٠١٠

Frontiers of Combining Systems

٢٠١١

Automated Deduction -- CADE-23

٢٠١١

Language and Automata Theory and Applications

٢٠١١

Language and Automata Theory and Applications

٢٠١٠

Automated Reasoning

٢٠٠٨

Logic, Language, Information and Computation

٢٠١٠