Geometry.Net - the online learning center
Home  - Science - Temporal Logic
e99.com Bookstore
  
Images 
Newsgroups
1-20 of 66    1  | 2  | 3  | 4  | Next 20
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

         Temporal Logic:     more books (100)
  1. Mathematical Logic for Computer Science (Volume 0) by Mordechai Ben-Ari, 2003-02
  2. Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 by Dov. M. Gabbay, Mark A. Reynolds, et all 2000-05-15
  3. Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) by Fred Kröger, Stephan Merz, 2010-11-02
  4. The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna, Amir Pnueli, 1991-12-18
  5. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning by Dov M. Gabbay, C. J. Hogger, et all 1995-06-15
  6. Temporal Modalities in Arabic Logic (Foundation of Language Supplementary Series) by N. Rescher, 1966-07-31
  7. Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science) by Ron Koymans, 1992-12-17
  8. Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
  9. Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) by Brent T. Hailpern, 1982-07
  10. Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings (Lecture Notes in Computer Science) by H. Banieqbal, H. Barringer, 1989-12
  11. Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
  12. Temporal Logics and their Applications by Author Unknown, 1988-02-11
  13. Temporal Logic (Library of exact philosophy) by Nicholas Rescher, 1971-06
  14. Integrating Functional and Temporal Domains in Logic Design:: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science) by Patrick C. McGeer, Robert K. Brayton, 1991-05-31

lists with details

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  
1-20 of 66    1  | 2  | 3  | 4  | Next 20