e99 Online Shopping Mall

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

  Back | 41-60 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

 
41. Reasoning about the function and
 
42. An introduction to the model theory
 
43. Decision procedures and expressiveness
 
44. Temporal-logic theorem proving
 
45. Characterizing Kripke structures
 
46. Design verification of sequential
 
47. Problems concerning fairness and
 
48. On the eventuality operator in
 
49. Avoiding the state explosion problem
 
50. A really temporal logic (Report
 
51. Temporal logics for abstract semantics
 
52. Temporal logic for proof-carrying
 
53. Synthesis of hardware elements
 
54. Semantics for reified temporal
 
55. On parallel programming methodology
 
56. Temporal logic programming is
57. Temporal Logic: Logic, Modal Logic,
 
58. Temporal reasoning and default
 
59. On the expressive power of temporal
 
60. A study of an extended temporal

41. Reasoning about the function and timing of integrated circuits with Prolog and temporal logic (Technical report. University of Cambridge. Computer Laboratory)
by M. E Leeser
 Unknown Binding: 45 Pages (1988)

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

42. An introduction to the model theory of first-order predicate logic and a related temporal logic (Memorandum / Rand Corporation)
by Robert Mattison
 Unknown Binding: 65 Pages (1969)

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

43. Decision procedures and expressiveness in the temporal logic of branching time (Technical report. University of Texas at Austin. Dept. of Computer Sciences)
by E. Allen Emerson
 Unknown Binding: 24 Pages (1985)

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

44. Temporal-logic theorem proving (Report / Stanford University. Dept. of Computer Science)
by Martín Abadi
 Unknown Binding: 161 Pages (1987)

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

45. Characterizing Kripke structures in temporal logic (Research paper. Carnegie-Mellon University. Computer Science Department)
by M. C Browne
 Unknown Binding: 18 Pages (1987)

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

46. Design verification of sequential machines based on a model checking algorithm of e-free regular temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept)
by Hiromi Hiraishi
 Unknown Binding: 19 Pages (1988)

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

47. Problems concerning fairness and temporal logic for conflict-free petri nets (Technical report. University of Texas at Austin. Dept. of Computer Sciences)
by Rodney R Howell
 Unknown Binding: 25 Pages (1987)

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

48. On the eventuality operator in temporal logic (Technical report. Yale University. Dept. of Computer Science)
by Aravinda Prasad Sistla
 Unknown Binding: Pages (1987)

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

49. Avoiding the state explosion problem in temporal logic model checking algorithms (Research paper. Carnegie Mellon University. Computer Science Dept)
by E. M Clarke
 Unknown Binding: 18 Pages (1987)

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

50. 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

51. Temporal logics for abstract semantics (Technical report series. University of Manchester. Dept. of Computer Science)
by Michael Fisher
 Unknown Binding: Pages (1987)

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

52. Temporal logic for proof-carrying code ([Research paper] / Carnegie Mellon University. School of Computer Science)
by Andrew Bernard
 Unknown Binding: 37 Pages (2002)

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

53. Synthesis of hardware elements from propositional temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science)
by A. A Aaby
 Unknown Binding: 30 Pages (1988)

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

54. 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

55. 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

56. Temporal logic programming is complete and expressive (Report / Stanford University. Computer Science Dept)
by Marianne Baudinet
 Unknown Binding: 14 Pages (1988)

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

57. 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


58. Temporal reasoning and default logics (Research report. Yale University. Dept. of Computer Science)
by Steve Hanks
 Unknown Binding: 118 Pages (1985)

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

59. 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

60. 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

  Back | 41-60 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