ISBN: 9789048153893
ISBN-13: 9789048153893, 978-9048153893. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Advances in Temporal Logic. Advances in … Meer...
ebay.co.uk books--etc 99.5, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, Priority Listing. Verzendingskosten:Versandkostenfrei, Versand zum Fixpreis, [SHT: Economy Delivery], GU12 *** Aldershot, [TO: United Kingdom, Antigua and Barbuda, Austria, Belgium, Bulgaria, Republic of Croatia, Cyprus, Czech Republic, Denmark, Estonia, Finland, France, Germany, Greece, Hungary, Ireland, Italy, Latvia, Lithuania, Luxembourg, Malta, Netherlands, Poland, Portugal, Romania, Slovakia, Slovenia, Spain, Sweden, Australia, United States, Bahrain, Canada, Brazil, Japan, New Zealand, China, Israel, Hong Kong, Norway, Indonesia, Malaysia, Mexico, Singapore, South Korea, Switzerland, Taiwan, Thailand, Bangladesh, Belize, Bermuda, Bolivia, Barbados, Brunei Darussalam, Cayman Islands, Dominica, Ecuador, Egypt, Guernsey, Gibraltar, Guadeloupe, Grenada, French Guiana, Iceland, Jersey, Jordan, Cambodia, Saint Kitts-Nevis, Saint Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Maldives, Montserrat, Martinique, Nicaragua, Pakistan, Peru, Paraguay, Reunion, Turks and Caicos Islands, Aruba, Saudi Arabia, South Africa, Unite. (EUR 0.00) Details... |
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
Editor: Barringer, Howard, Editor: Fisher, Michael, Editor: Gabbay, Dov M. Editor: Gough, Graham, Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 2000, 462 Seiten, Pu… Meer...
amazon.com |
2010, ISBN: 9789048153893
pocketboek
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Time is a fascinating subject a… Meer...
booklooker.de |
2010, ISBN: 9048153891
gebonden uitgave
Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Informationstheorie, Mathematische Grundlagen, Logik, Algorithmen und Datenstrukturen, Künstliche Intelligenz, Action… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:No shipping costs within Germany. (EUR 0.00) Details... |
ISBN: 9789048153893
ISBN-13: 9789048153893, 978-9048153893. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Advances in Temporal Logic. Advances in … Meer...
Herausgegeben:Fisher, Michael; Gabbay, Dov M.; Gough, Graham; Barringer, Howard:
Advances in Temporal Logic - pocketboek2010, 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
Editor: Barringer, Howard, Editor: Fisher, Michael, Editor: Gabbay, Dov M. Editor: Gough, Graham, Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 2000, 462 Seiten, Pu… Meer...
2010, ISBN: 9789048153893
pocketboek
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Time is a fascinating subject a… Meer...
2010, ISBN: 9048153891
gebonden uitgave
Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Informationstheorie, Mathematische Grundlagen, Logik, Algorithmen und Datenstrukturen, Künstliche Intelligenz, Action… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Advances in Temporal Logic (Applied Logic Series, 16)
EAN (ISBN-13): 9789048153893
ISBN (ISBN-10): 9048153891
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: 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 2023-12-31T20:47:01+01:00 (Amsterdam)
ISBN/EAN: 9048153891
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...