Similar Listings
Progress in Computer Science and Applied Logic Ser.: Introduction to Quantum Com
Logic For Applications - Texts and Monographs in Computer Science - 1st edition
Essential Logic for Computer Science (Mit Press)
Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in,
Lecture Notes in Computer Science Ser.: Theorem Proving in Higher Order Logics :
Temporal Logics in Computer Science: Finite-State Systems: 58 (C
Logic in Computer Science: Modelling and Reasoning about Systems, Huth, Michael,
Mogavero - Logics in Computer Science A Study on Extensions of Tempo - X555z