Logic, Language, Information and Computation المزيد من الكتب المشابهة

Computer Science Logic

٢٠١٠

Automated Reasoning

٢٠٠٨

Frontiers of Combining Systems

٢٠٠٩

Frontiers of Combining Systems

٢٠٠٧

Automated Reasoning

٢٠١٠

Fields of Logic and Computation

٢٠١٠

Automated Deduction -- CADE-23

٢٠١١

Automated Deduction – CADE-21

٢٠٠٧

Frontiers of Combining Systems

٢٠١١

Automated Deduction – CADE 27

٢٠١٩

Handbook of Automated Reasoning

٢٠٠١

Logical Foundations of Computer Science

٢٠٠٩

Functional and Logic Programming

٢٠٠٨

Types for Proofs and Programs

٢٠٠٧

Frontiers of Combining Systems

٢٠١٧