Temporal Logic and State Systems المزيد من الكتب المشابهة

Logical Foundations of Computer Science

٢٠٠٩

Computer Science Logic

٢٠١٠

Fundamentals of Logic and Computation

٢٠٢١

Algebraic and Proof-theoretic Aspects of Non-classical Logics

٢٠٠٧

Automated Reasoning

٢٠١٠

Fields of Logic and Computation

٢٠١٠

Foundations of Software Science and Computational Structures

٢٠٠٩

Computation and Logic in the Real World

٢٠٠٧

Models of Computation in Context

٢٠١١

Logic, Language, Information and Computation

٢٠١٠

Language and Automata Theory and Applications

٢٠١١

Revision, Acceptability and Context

٢٠١٠

Language and Automata Theory and Applications

٢٠١٠

Types for Proofs and Programs

٢٠٠٧

Automated Reasoning

٢٠٠٨