- 5 Ergebnisse
Kleinster Preis: € 129,80, größter Preis: € 174,41, Mittelwert: € 157,01
1
Advances in Temporal Logic (Applied Logic Series, 16, Band 16)
Bestellen
bei amazon.de
€ 129,80
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Advances in Temporal Logic (Applied Logic Series, 16, Band 16) - gebunden oder broschiert

1999, ISBN: 9780792361497

Springer, Gebundene Ausgabe, Auflage: 2000, 462 Seiten, Publiziert: 1999-12-31T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9780792361497, 1.83 kg, Logik, Philosophie, Sozialwissenscha… Mehr…

IN - IndienGebraucht, wie neu. Versandkosten:Gewöhnlich versandfertig in 4 bis 5 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Prestivo2
zuklappen (X)
2
Advances in Temporal Logic (Applied Logic Series, 16, Band 16)
Bestellen
bei amazon.de
€ 147,35
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Advances in Temporal Logic (Applied Logic Series, 16, Band 16) - gebunden oder broschiert

1999, ISBN: 9780792361497

Springer, Gebundene Ausgabe, Auflage: 2000, 462 Seiten, Publiziert: 1999-12-31T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9780792361497, 1.83 kg, Logik, Philosophie, Sozialwissenscha… Mehr…

Versandkosten:Gewöhnlich versandfertig in 6 bis 7 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) buchbaer
zuklappen (X)
3
Advances in Temporal Logic - Barringer, Howard (Herausgeber); Gough, Graham (Herausgeber); Gabbay, Dov M. (Herausgeber); Fisher, Michael (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 173,01
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Barringer, Howard (Herausgeber); Gough, Graham (Herausgeber); Gabbay, Dov M. (Herausgeber); Fisher, Michael (Herausgeber):
Advances in Temporal Logic - gebunden oder broschiert

1999

ISBN: 0792361490

2000 Gebundene Ausgabe Datenverarbeitung / Datenverschlüsselung, Kryptografie, Logik, Philosophie / Logik, Informationstheorie, Mathematische Grundlagen, Algorithmen und Datenstrukturen… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Advances in Temporal Logic - Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough
Bestellen
bei lehmanns.de
€ 160,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough:
Advances in Temporal Logic - gebunden oder broschiert

1999, ISBN: 9780792361497

Buch, Hardcover, [PU: Springer], Springer, 1999

Versandkosten:Versand in 7-10 Tagen. (EUR 0.00)
zuklappen (X)
5
Advances in Temporal Logic - Howard Barringer
Bestellen
bei Blackwells.co.uk
£ 148,99
(ca. € 174,41)
Versand: € 7,611
Bestellen
Details beim Anbieter
gesponserter Link
Howard Barringer:
Advances in Temporal Logic - gebunden oder broschiert

ISBN: 9780792361497

hardback, [PU: Kluwer Academic Publishers]

in stock. Versandkosten:Unknown. (EUR 7.61) Blackwells.co.uk
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Advances in Temporal Logic
Autor:
Titel:
ISBN-Nummer:

0792361490


Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor - will find the book most valuable. Computing professionals requiring state-of-the-art knowledge in the area will appreciate the volume for its leading results and its links to other relevant literature.

Detailangaben zum Buch - Advances in Temporal Logic


EAN (ISBN-13): 9780792361497
ISBN (ISBN-10): 0792361490
Gebundene Ausgabe
Erscheinungsjahr: 1999
Herausgeber: Springer
468 Seiten
Gewicht: 0,853 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-04-26T13:39:17+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-04-16T22:10:51+02:00 (Zurich)
ISBN/EAN: 0792361490

ISBN - alternative Schreibweisen:
0-7923-6149-0, 978-0-7923-6149-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: michael howard, gough michael, fisher, graham, barring, barringer, dov gabbay
Titel des Buches: advances temporal logic, orange, what logic

Daten vom Verlag:

Autor/in: Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough
Titel: Applied Logic Series; Advances in Temporal Logic
Verlag: Springer; Springer Netherland
453 Seiten
Erscheinungsjahr: 1999-12-31
Dordrecht; NL
Sprache: Englisch
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
IX, 453 p.

BB; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Action; C programming language; Natural; algorithms; complexity; databases; information; logic; modal logic; Mathematical Logic and Foundations; Logic; Artificial Intelligence; Data Structures and Information Theory; Mathematische Grundlagen; Philosophie: Logik; Künstliche Intelligenz; Algorithmen und Datenstrukturen; Informationstheorie; BC

A Hierarchy of Modal Event Calculi: Expressiveness and Complexity; I. Cervesato, et al. Release Logics for Temporalizing Dynamic Logic; J. Krabbendam, J.-J. Meyer. Compositional Verification of Timed Statecharts; F. Levi. Temporal Logic for Stabilizing Systems; Y. Lakhnech, M. Siegel. Decidable Theories of omega-Layered Metric Temporal Structures; A. Montanari, et al. Synthesis with Incomplete Information; O. Kupferman, M. Vardi. Deductive Verification of Parameterized Fault-Tolerant Systems: A Case Study; N.S. Bjørner, et al. Using Otter for Temporal Resolution; C. Dixon. Guiding Clausal Temporal Resolution; M. Fisher, C. Dixon. Determinism and the Origins of Temporal Logic; T. Bräuner, et al. Modelling Linguistic Events; M. Leith, J. Cunningham. A Dynamic Temporal Logic for Aspectual Phenomena in Natural Language; R. Naumann. A Decidable Temporal Logic for Temporal Propositions; I. Pratt, N. Francez. Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations; A. Galton. A Modal Logic of Durative Actions; I. Nunes, et al. About Real Time, Calendar Systems and Temporal Notions; H.J. Ohlbach. A Model Checking Algorithm for pi-Calculus Agents; S. Gnesi, G. Ristori. Interleaving Model and Verification of Distributed Probabilistic Real-Time Systems; T. Luo, et al. Constructive Interval Temporal Logic in Alf; S. Thompson. Two-dimensional Executable Temporal Logic for Bitemporal Databases; M. Finger, M. Reynolds. Execution and Proof in a Horn-Clause Temporal Logic; C. Dixon, et al. Specification and Prototyping of Structures Multimedia Documents using Interval Temporal Logic; H. Bowman, et al.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9789048153893 Advances in Temporal Logic (Applied Logic Series, 16) (Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham)

< zum Archiv...