𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Temporal Logic Volume 827 || A hierarchy of partial order temporal properties

✍ Scribed by Gabbay, Dov M.; Ohlbach, Hans Jürgen

Book ID
115444767
Publisher
Springer-Verlag
Year
1994
Tongue
German
Weight
996 KB
Edition
1994
Category
Article
ISBN-13
9783540582410

No coin nor oath required. For personal study only.

✦ Synopsis

Dov M. Gabbay, Hans J. Ohlbach (eds.). Includes Bibliiographical References And Index.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Rule
[Lecture Notes in Computer Science] Rule Interchange and Applications Volume 5858 || A Java Implementation of Temporal Defeasible Logic
✍ Governatori, Guido; Hall, John; Paschke, Adrian 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 183 KB

The 2009 International Symposium on Rule Interchange and Applications (RuleML 2009), collocated in Las Vegas, Nevada, with the 12th International Business Rules Forum, was the premier place to meet and to exchange ideas from all ?elds of rules technologies. The aims of RuleML 2009 were both to prese

[Lecture Notes in Computer Science] Temp
[Lecture Notes in Computer Science] Temporal, Spatial, and Spatio-Temporal Data Mining Volume 2007 || An Updated Bibliography of Temporal, Spatial, and Spatio-temporal Data Mining Research
✍ Roddick, John F.; Hornsby, Kathleen 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 165 KB

This volume contains updated versions of the ten papers presented at the First International Workshop on Temporal, Spatial and Spatio-Temporal Data Mining (TSDM 2000) held in conjunction with the 4th European Conference on Prin- ples and Practice of Knowledge Discovery in Databases (PKDD 2000) in Ly