e99 Online Shopping Mall

Geometry.Net - the online learning center Help  
Home  - Science - Temporal Logic (Books)

  Back | 61-80 of 100 | 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  

click price to see details     click image to enlarge     click link to go to the store

 
61. A really temporal logic (Report
 
62. Alternating-time temporal logic
 
63. Synchronization of multiagent
 
64. Semantics for reified temporal
 
65. An improved algorithm for the
 
66. Temporal logic specification and
67. Temporal Logic: Logic, Modal Logic,
 
68. Temporal Logic
 
69. On the expressive power of temporal
 
70. A study of an extended temporal
 
71. Protocol specification and verification
 
72. The complementation problem for
 
73. Temporal Logic (LEP Library of
 
74. On parallel programming methodology
 
75. A taxonomy of fairness and temporal
 
76. A temporal logic for multi-level
 
77. Characterising temporal logic
 
78. Proceedings of the Combined Tenth
 
79. A concurrent program synthesis
 
80. Temporal Logic

61. A really temporal logic (Report / Stanford University. Computer Science Dept)
by Rajeev Alur
 Unknown Binding: 26 Pages (1989)

Asin: B00071R13G
Canada | United Kingdom | Germany | France | Japan

62. Alternating-time temporal logic (Memorandum)
by Rajeev Alur
 Unknown Binding: 33 Pages (1998)

Asin: B0006QXYKG
Canada | United Kingdom | Germany | France | Japan

63. Synchronization of multiagent plans using a temporal logic theorem prover (Technical note. SRI International)
by Christopher Stuart
 Unknown Binding: 70 Pages (1985)

Asin: B00071HHKS
Canada | United Kingdom | Germany | France | Japan

64. Semantics for reified temporal logic (Research paper. University of Edinburgh. Department of Artificial Intelligence)
by Han Reichgelt
 Unknown Binding: 13 Pages (1986)

Asin: B0007BBMN6
Canada | United Kingdom | Germany | France | Japan

65. An improved algorithm for the automatic verification of finite state systems using temporal logic (Research report. Carnegie-Mellon University. Dept. of Computer Science)
by Michael C Browne
 Unknown Binding: Pages (1986)

Asin: B00070ZNNC
Canada | United Kingdom | Germany | France | Japan

66. Temporal logic specification and verification of a virtual ring LAN access protocol ([Report] / Université P. et M. Curie, Laboratoire Informatique Théorique et Programmation)
by Ana R Cavalli
 Unknown Binding: 28 Pages (1985)

Asin: B0007BL61O
Canada | United Kingdom | Germany | France | Japan

67. Temporal Logic: Logic, Modal Logic, Computer Science, Principle of Bivalence, Formal Verification, Linear Temporal Logic, Computation Tree Logic, Model Checking, Logical Connective
Paperback: 72 Pages (2010-01-26)
list price: US$41.00
Isbn: 613034970X
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
High Quality Content by WIKIPEDIA articles! In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the 1960s. Subsequently it has been developed further by computer scientists, notably Amir Pnueli, and logicians.Temporal logic was first studied in depth by Aristotle, whose writings are filled with an early, partially-developed form of first-order temporal modal binary logic. Among classical logic theories, logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic. Any logic which views time as a sequence of states is a temporal logic, and any logic which uses only two truth values is a binary logic. ... Read more


68. Temporal Logic
by Dov M. Gabbay
 Paperback: Pages (2000)

Asin: B000OLDMY6
Canada | United Kingdom | Germany | France | Japan

69. On the expressive power of temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. Laboratoire Informatique Theorique et Programmation)
by D Perrin
 Paperback: Pages (1986)

Asin: B0007B6LJG
Canada | United Kingdom | Germany | France | Japan

70. A study of an extended temporal logic and a temporal fixed point calculus (Technical report series. University of Manchester. Dept. of Computer Science)
by B Banieqbal
 Unknown Binding: 27 Pages (1986)

Asin: B0007BGWH2
Canada | United Kingdom | Germany | France | Japan

71. Protocol specification and verification using the significant event temporal logic (Technical report. University of British Columbia. Dept. of Computer Science)
by George K Tsiknis
 Unknown Binding: Pages (1988)

Asin: B0007BIQIK
Canada | United Kingdom | Germany | France | Japan

72. The complementation problem for buchi automata with applications to temporal logic (Research Report RJ. International Business Machines Corporation. Research Division)
by Aravinda Prasad Sistla
 Unknown Binding: 28 Pages (1986)

Asin: B000710K1G
Canada | United Kingdom | Germany | France | Japan

73. Temporal Logic (LEP Library of Exact Philosophy)
by Nicholas Rescher, Alasdair Urquhart
 Hardcover: Pages (1971-08-18)
list price: US$39.00
Isbn: 3211809953
Canada | United Kingdom | Germany | France | Japan

74. On parallel programming methodology in GHC: Experience in programming of a proof procedure of temporal logic (Technical report. Institute for New Generation Computing Technology)
by Kazuko Takahashi
 Unknown Binding: 8 Pages (1986)

Asin: B0007BE350
Canada | United Kingdom | Germany | France | Japan

75. A taxonomy of fairness and temporal logic problems for Petri nets (Technical report. Iowa State University. Dept. of Computer Science)
by Rodney R Howell
 Unknown Binding: Pages (1988)

Asin: B00071N5EA
Canada | United Kingdom | Germany | France | Japan

76. A temporal logic for multi-level reasoning about hardware
by Ben Moszkowski
 Unknown Binding: 25 Pages (1982)

Asin: B0006YL1LC
Canada | United Kingdom | Germany | France | Japan

77. Characterising temporal logic (Technical report series. University of Manchester. Dept. of Computer Science)
by Michael Fisher
 Unknown Binding: 19 Pages (1989)

Asin: B0007BRUYQ
Canada | United Kingdom | Germany | France | Japan

78. Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003
by Mark Reynolds
 Paperback: Pages (2003-01-01)

Asin: B000MUSXB6
Canada | United Kingdom | Germany | France | Japan

79. A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE (ICOT technical report)
by Naoshi Uchihira
 Unknown Binding: 21 Pages (1989)

Asin: B0007BQQ50
Canada | United Kingdom | Germany | France | Japan

80. Temporal Logic
by Dov M. Gabbay
 Paperback: Pages (2007)

Asin: B003Q9Z610
Canada | United Kingdom | Germany | France | Japan

  Back | 61-80 of 100 | 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  

Prices listed on this site are subject to change without notice.
Questions on ordering or shipping? click here for help.

site stats