2010, ISBN: 9789048153893
[ED: Softcover], [PU: Springer / Springer Netherlands], Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and ch… Meer...
booklooker.de buecher.de GmbH & Co. KG Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2010, ISBN: 9789048153893
Kartoniert, 468 Seiten, 235mm x 155mm x 26mm, Sprache(n): eng Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult … Meer...
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Advances in Temporal Logic / Howard Barringer (u. a.) / Taschenbuch / Applied Logic Series / Paperback / ix / Englisch / 2010 / Springer Netherland / EAN 9789048153893 - pocketboek
2010, ISBN: 9789048153893
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike.… Meer...
booklooker.de |
2010, ISBN: 9789048153893
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2000, 468 Seiten, Publiziert: 2010-12-08T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.65 kg, Logik, … Meer...
amazon.de Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9789048153893
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2000, 468 Seiten, Publiziert: 2010-12-08T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.65 kg, Logik, … Meer...
amazon.de |
2010, ISBN: 9789048153893
[ED: Softcover], [PU: Springer / Springer Netherlands], Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and ch… Meer...
2010, ISBN: 9789048153893
Kartoniert, 468 Seiten, 235mm x 155mm x 26mm, Sprache(n): eng Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult … Meer...
Advances in Temporal Logic / Howard Barringer (u. a.) / Taschenbuch / Applied Logic Series / Paperback / ix / Englisch / 2010 / Springer Netherland / EAN 9789048153893 - pocketboek
2010
ISBN: 9789048153893
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike.… Meer...
2010, ISBN: 9789048153893
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2000, 468 Seiten, Publiziert: 2010-12-08T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.65 kg, Logik, … Meer...
2010, ISBN: 9789048153893
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2000, 468 Seiten, Publiziert: 2010-12-08T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.65 kg, Logik, … Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Advances in Temporal Logic (Applied Logic Series) (Applied Logic Series, 16, Band 16)
EAN (ISBN-13): 9789048153893
ISBN (ISBN-10): 9048153891
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Barringer, Howard, Springer
464 Bladzijden
Gewicht: 0,696 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-01-02T18:10:58+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-04-16T22:10:51+02:00 (Amsterdam)
ISBN/EAN: 9789048153893
ISBN - alternatieve schrijfwijzen:
90-481-5389-1, 978-90-481-5389-3
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: michael howard, barring, gough, michael fisher, barringer, dov gabbay
Titel van het boek: temporal logic
Gegevens van de uitgever
Auteur: Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough
Titel: Applied Logic Series; Advances in Temporal Logic
Uitgeverij: Springer; Springer Netherland
453 Bladzijden
Verschijningsjaar: 2010-12-08
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
IX, 453 p.
BC; 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; BB; EA
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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789401595865 Advances in Temporal Logic (Nico Stehr)
< naar Archief...