Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming
Big bigCover of Logics in Computer Science

More books from Atlantis Press

bigCover of the book Differential Equations with Involutions by
bigCover of the book Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Management 2015 by
bigCover of the book Principles of Mathematical Economics II by
bigCover of the book Human Aspects in Ambient Intelligence by
bigCover of the book Mean Field Theories and Dual Variation - Mathematical Structures of the Mesoscopic Model by
bigCover of the book Proceedings of the 6th International Asia Conference on Industrial Engineering and Management Innovation by
bigCover of the book Integral Equations on Time Scales by
bigCover of the book Introduction to Global Variational Geometry by
bigCover of the book Lectures on the Mathematics of Quantum Mechanics I by
bigCover of the book Ordered Random Variables: Theory and Applications by
bigCover of the book Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Management 2015 by
bigCover of the book The Inverse Problem of the Calculus of Variations by
bigCover of the book Economic Dynamics of All Members of the United Nations by
bigCover of the book Computational Methods in Power System Analysis by
bigCover of the book Computational Creativity Research: Towards Creative Machines by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy