First-Order Dynamic Logic (Lecture Notes in Computer Science, 68)

First-Order Dynamic Logic (Lecture Notes in Computer Science, 68)
sku: COM9783540092377NEW
$20.88
Shipping from: Canada
   Description
Format Paperback Subject Computers the Internet General Publisher Berlin a o Springer 1979
   Price history chart & currency exchange rate

Customers also viewed

in this storein other stores

The Design of Intelligent Agents: A Layered Approach (Lecture Notes in Computer Science, 1177)
55%
$43.70
The Design of Intelligent Agents: A Layered Approach (Lecture Notes in Computer Science, 1177)
A Tight, Practical Integration of Relations and Functions (Lecture Notes in Computer Science, 1712)
51%
$34.52
A Tight, Practical Integration of Relations and Functions (Lecture Notes in Computer Science, 1712)
Spatio-Temporal Databases: The CHOROCHRONOS Approach (Lecture Notes in Computer Science, 2520)
50%
$9.96
Spatio-Temporal Databases: The CHOROCHRONOS Approach (Lecture Notes in Computer Science, 2520)
Business Process Management: Models, Techniques, and Empirical Studies (Lecture Notes in Computer Science) [Soft Cover ]
47%
$55.80
Business Process Management: Models, Techniques, and Empirical Studies (Lecture Notes in Computer Science) [Soft Cover ]
First-Order Dynamic Logic
35%
$15.03
First-Order Dynamic Logic
Linear Representations of Finite Groups (Lecture Notes in Control and Information Sciences)
25%
$45.10
Linear Representations of Finite Groups (Lecture Notes in Control and Information Sciences)
Lectures in Set Theory: With Particular Emphasis on the Method of Forcing (Lecture Notes in Mathematics, 217)
23%
$30.57
Lectures in Set Theory: With Particular Emphasis on the Method of Forcing (Lecture Notes in Mathematics, 217)
Mathematical Modeling and Validation in Physiology: Applications to the Cardiovascular and Respiratory Systems (Lecture Notes in Mathematics, 2064)
20%
$55.21
Mathematical Modeling and Validation in Physiology: Applications to the Cardiovascular and Respiratory Systems (Lecture Notes in Mathematics, 2064)
Fracture Mechanics of Ceramics (Lecture Notes in Economics & Mathematical Systems)
17%
$9.97
Fracture Mechanics of Ceramics (Lecture Notes in Economics & Mathematical Systems)
The Physical Processes and Observing Techniques of Radio Astronomy: An Introduction (Undergraduate Lecture Notes in Physics)
14%
$52.14
The Physical Processes and Observing Techniques of Radio Astronomy: An Introduction (Undergraduate Lecture Notes in Physics)
The Homology of Iterated Loop Spaces (Lecture Notes in Mathematics) [Soft Cover ]
11%
$56.38
The Homology of Iterated Loop Spaces (Lecture Notes in Mathematics) [Soft Cover ]
A Short Course on Topological Insulators: Band Structure and Edge States in One and Two Dimensions (Lecture Notes in Physics, 919)
8%
$58.31
A Short Course on Topological Insulators: Band Structure and Edge States in One and Two Dimensions (Lecture Notes in Physics, 919)
Category Seminar: Proceedings Sydney Category Theory Seminar 1972/1973. Lecture Notes in Mathematics 420
6%
$7.49
Category Seminar: Proceedings Sydney Category Theory Seminar 1972/1973. Lecture Notes in Mathematics 420
Reports of the Midwest Category Seminar I (Lecture Notes in Mathematics 47)
5%
$22.00
Reports of the Midwest Category Seminar I (Lecture Notes in Mathematics 47)
Lokal Präsentierbare Kategorien/ Locally Presentable Categories (Lecture Notes in Mathematics) (German Edition) [Soft Cover ]
4%
$31.94
Lokal Präsentierbare Kategorien/ Locally Presentable Categories (Lecture Notes in Mathematics) (German Edition) [Soft Cover ]
Mathematical and Numerical Techniques in Physical Geodesy (Lecture Notes in Earth Sciences)
2%
$40.00
Mathematical and Numerical Techniques in Physical Geodesy (Lecture Notes in Earth Sciences)
Derived Functors in Functional Analysis (Lecture Notes in Mathematics) [Soft Cover ]
1%
$50.45
Derived Functors in Functional Analysis (Lecture Notes in Mathematics) [Soft Cover ]
Lecture Notes on Elementary Topology and Geometry (Undergraduate Texts in Mathematics)
1%
$18.07
Lecture Notes on Elementary Topology and Geometry (Undergraduate Texts in Mathematics)
Forward-Backward Stochastic Differential Equations and their Applications (Lecture Notes in Mathematics, 1702)
1%
$45.31
Forward-Backward Stochastic Differential Equations and their Applications (Lecture Notes in Mathematics, 1702)
Modal Logic for Open Minds (Volume 199) (Lecture Notes)
1%
$13.86
Modal Logic for Open Minds (Volume 199) (Lecture Notes)
Superconvergence in Galerkin finite element methods. Lecture notes in mathematics ; Vol. 1605
1%
$12.10
Superconvergence in Galerkin finite element methods. Lecture notes in mathematics ; Vol. 1605
USMLE Step 2 Ck Lecture Notes 2017: Obstetrics/Gynecology
1%
$6.34
USMLE Step 2 Ck Lecture Notes 2017: Obstetrics/Gynecology
Active Galactic Nuclei: Saas-Fee Advanced Course 20. Lecture Notes 1990. Swiss Society for Astrophysics and Astronomy [Hardcover ]
1%
$51.16
Active Galactic Nuclei: Saas-Fee Advanced Course 20. Lecture Notes 1990. Swiss Society for Astrophysics and Astronomy [Hardcover ]
Proceedings on Moonshine and Related Topics (Crm Proceedings & Lecture Notes, V. 30)
1%
$33.94
Proceedings on Moonshine and Related Topics (Crm Proceedings & Lecture Notes, V. 30)
Lecture Notes: Ophthalmology
1%
$14.76
Lecture Notes: Ophthalmology
Necessity or Contingency: The Master Argument (CSLI Lecture Notes, No. 56)
1%
$50.00
Necessity or Contingency: The Master Argument (CSLI Lecture Notes, No. 56)
Narrative Theory and the Cognitive Sciences (Volume 158) (Lecture Notes)
1%
$23.78
Narrative Theory and the Cognitive Sciences (Volume 158) (Lecture Notes)
USMLE Step 2 CK Lecture Notes 2017: Psychiatry, Epidemiology, Ethics, Patient Safety (Kaplan Test Prep)
1%
$47.64
USMLE Step 2 CK Lecture Notes 2017: Psychiatry, Epidemiology, Ethics, Patient Safety (Kaplan Test Prep)
Lecture Notes
1%
$40.79
Lecture Notes
Modelling Spatial Knowledge On a Linguistic Basis: Theory, Prototype, Integration (lecture Notes
1%
$16.40
Modelling Spatial Knowledge On a Linguistic Basis: Theory, Prototype, Integration (lecture Notes