Advances in Temporal Logic, Fachbücher von Michael Fisher, Dov M. Gabbay, Graham Gough

Michael Abraham Israel Belfer Dov Temporal Logic In The T (gebundene

Temporal Logic, Fachbücher

Computational Logic in Multi-Agent Systems, Fachbücher von Michael Fisher

Handbook of Philosophical Logic, Fachbücher von Dov M. Gabbay

Temporal Logic and State Systems, Fachbücher

Temporal Logic in Finite-State Verification, Fachbücher

Advances in Intensional Logic, Fachbücher

Extending Temporal Logic with Omega-automata, Fachbücher

Logic, Epistemology, and the Unity of Science, Fachbücher von John Symons, Dov M. Gabbay

Temporal Logic from the Chronicles Paradigm:, Fachbücher von Jose Aguilar

Advances in Invertebrates and Fish Telemetry, Fachbücher

Temporal Patterns of Fish Assemblages of Feni River,Feni, Bangladesh, Fachbücher

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Fachbücher

Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search, Fachbücher

Labelled Deduction, Fachbücher von Dov M. Gabbay