Geometry.Net - the online learning center
Home  - Science - Temporal Logic
e99.com Bookstore
  
Images 
Newsgroups
21-40 of 83    Back | 1  | 2  | 3  | 4  | 5  | 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. Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science)
  2. Executing Temporal Logic Programs by Ben C. Moszkowski, 1986-03-31
  3. Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series) by Fred Kröger, 1987-05-18
  4. Advances in Temporal Logic (APPLIED LOGIC SERIES Volume 16) by Howard Barringer, Michael Fisher, et all 1999-12-16
  5. Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy) by Peter Øhrstrøm, Per Hasle, 2010-11-02
  6. Temporal Logic, Omniscience, Human Freedom - Perspectives in Analytic Philosophy (Europaische Hochschulschriften Reihe XX, Philosophie) by Boniface Enyeribe Nwigwe, 1991-06
  7. Temporal Logic for Real-Time Systems (Advanced Software Development Series) by Jonathan S. Ostroff, 1989-08
  8. Time-Ictl 2003: 10th International Symposium on Temporal Representation and Reasoning: And Fourth International Conference on Temporal Logic: Proceedi by IEEE, 2003-01
  9. The Imperative Future: Principles of Executable Temporal Logic (Advanced Software Development Series)
  10. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence) by Wojciech Penczek, Agata Pólrola, 2010-11-02
  11. Representing Musical Time: A Temporal-Logic Approach (Studies on New Music Research) by Alan Marsden, 2000-01-01
  12. Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Peter Haddawy, 1994-03-23
  13. The Logic of Time: A Model-Theoretic Investigation into the Varieties ofTemporal Ontology and Temporal Discourse (Synthese Library) by Johan F.A.K. van Benthem, 2010-11-02
  14. A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic by May Haydar, 2009-09-08

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  
21-40 of 83    Back | 1  | 2  | 3  | 4  | 5  | Next 20