s'inscrire

S'inscrire
Mot de passe oublié?

Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr
Paramètres des cookies

Conseils d'eurolivre.fr

Acheter un livre

Outils de recherche

Actualités

Vous avez désactivé JavaScript des réglages de votre navigateur. Afin d'optimiser l'efficacité de la recherche de livres, nous vous conseillons d'activer JavaScript pour eurolivre.fr

- 5 Résultats

prix le plus bas: € 112,99, prix le plus élevé: € 190,45, prix moyen: € 148,80

Advances in Temporal Logic - 9789048153893 - Howard Barringer, Graham Gough, Dov M. Gabbay, Michael Fisher

(*)

Howard Barringer, Graham Gough, Dov M. Gabbay, Michael Fisher:
Advances in Temporal Logic - 9789048153893 - Livres de poche

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 … Plus…

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 Temporal Logic Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days).Author(s): Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham GoughFormat: PaperbackPublisher: Springer, NetherlandsImprint: SpringerISBN-13: 9789048153893, 978-9048153893SynopsisTime is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query ing, granularity of time, update mechanisms, active temporal data bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems., New, Festpreisangebot, [LT: FixedPrice], Book Title: Advances in Temporal Logic, Subject Area: Information Science, Publication Name: Advances in Temporal Logic, Subject: Computer Science, Mathematics, Publication Year: 2010, Type: Textbook, Language: English, Item Height: 235mm, Item Width: 155mm, Item Weight: 712g, Number of Pages: 453 Pages, Springer<

ebay.co.uk

books--etc
99.5, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, Priority Listing. Frais d'envoiVersandkostenfrei, 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...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Advances in Temporal Logic - Herausgegeben:Fisher, Michael; Gabbay, Dov M.; Gough, Graham; Barringer, Howard

(*)

Herausgegeben:Fisher, Michael; Gabbay, Dov M.; Gough, Graham; Barringer, Howard:
Advances in Temporal Logic - Livres de poche

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… Plus…

booklooker.de

buecher.de GmbH & Co. KG
Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00)
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Advances in Temporal Logic (Applied Logic Series, 16)

(*)

Advances in Temporal Logic (Applied Logic Series, 16) - Livres de poche

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… Plus…

amazon.com

Amazon.com
Frais d'envoiIn Stock, Lieferung von Amazon. (EUR 14.02)
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Advances in Temporal Logic - Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham

EXEMPLE

(*)

Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham:
Advances in Temporal Logic - Première édition

2010, ISBN: 9789048153893

Livres de poche

[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… Plus…

booklooker.de

Moluna GmbH
Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00)
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Advances in Temporal Logic - Barringer, Howard (Herausgeber); Gough, Graham (Herausgeber); Gabbay, Dov M. (Herausgeber); Fisher, Michael (Herausgeber)

(*)

Barringer, Howard (Herausgeber); Gough, Graham (Herausgeber); Gabbay, Dov M. (Herausgeber); Fisher, Michael (Herausgeber):
Advances in Temporal Logic - Livres de poche

2010, ISBN: 9048153891

Edition reliée

Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Informationstheorie, Mathematische Grundlagen, Logik, Algorithmen und Datenstrukturen, Künstliche Intelligenz, Action… Plus…

Achtung-Buecher.de

MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Frais d'envoiNo shipping costs within Germany. (EUR 0.00)
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

1

Advances in Temporal Logic - 9789048153893 - Howard Barringer, Graham Gough, Dov M. Gabbay, Michael Fisher

Commander
sur ebay.co.uk

£ 103,86

(environ € 119,10)

Envoi: € 0,00¹

Détails du fournisseur

Lien sponsorisé

Howard Barringer, Graham Gough, Dov M. Gabbay, Michael Fisher:

Advances in Temporal Logic - 9789048153893 - Livres de poche

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 … Plus…

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 Temporal Logic Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days).Author(s): Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham GoughFormat: PaperbackPublisher: Springer, NetherlandsImprint: SpringerISBN-13: 9789048153893, 978-9048153893SynopsisTime is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query ing, granularity of time, update mechanisms, active temporal data bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems., New, Festpreisangebot, [LT: FixedPrice], Book Title: Advances in Temporal Logic, Subject Area: Information Science, Publication Name: Advances in Temporal Logic, Subject: Computer Science, Mathematics, Publication Year: 2010, Type: Textbook, Language: English, Item Height: 235mm, Item Width: 155mm, Item Weight: 712g, Number of Pages: 453 Pages, Springer<

99.5, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, Priority Listing. Frais d'envoiVersandkostenfrei, 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) books--etc

Informations sur tendance des prix

2

Advances in Temporal Logic - Herausgegeben:Fisher, Michael; Gabbay, Dov M.; Gough, Graham; Barringer, Howard

Commander
sur booklooker.de

€ 112,99

Envoi: € 0,00¹

Détails du fournisseur

Lien sponsorisé

Herausgegeben:Fisher, Michael; Gabbay, Dov M.; Gough, Graham; Barringer, Howard:

Advances in Temporal Logic - Livres de poche

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… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG

Informations sur tendance des prix

3

Advances in Temporal Logic (Applied Logic Series, 16)

Commander
sur amazon.com

$ 165,32

(environ € 154,63)

Envoi: € 14,02¹

Détails du fournisseur

Lien sponsorisé

Advances in Temporal Logic (Applied Logic Series, 16) - Livres de poche

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… Plus…

Frais d'envoiIn Stock, Lieferung von Amazon. (EUR 14.02) Amazon.com

Informations sur tendance des prix

4

Commander
sur booklooker.de

€ 190,45

Envoi: € 0,00¹

Détails du fournisseur

Lien sponsorisé

Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham:
Advances in Temporal Logic - Première édition

2010, ISBN: 9789048153893

Livres de poche

[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… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH

Informations sur tendance des prix

5

Advances in Temporal Logic - Barringer, Howard (Herausgeber); Gough, Graham (Herausgeber); Gabbay, Dov M. (Herausgeber); Fisher, Michael (Herausgeber)

Commander
sur Achtung-Buecher.de

€ 166,82

Envoi: € 0,00¹

Détails du fournisseur

Lien sponsorisé

Barringer, Howard (Herausgeber); Gough, Graham (Herausgeber); Gabbay, Dov M. (Herausgeber); Fisher, Michael (Herausgeber):
Advances in Temporal Logic - Livres de poche

2010, ISBN: 9048153891

Edition reliée

Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Informationstheorie, Mathematische Grundlagen, Logik, Algorithmen und Datenstrukturen, Künstliche Intelligenz, Action… Plus…

Frais d'envoiNo shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

Informations sur tendance des prix

¹Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre

Advances in Temporal Logic (Applied Logic Series, 16)

Auteur:	Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham
Titre:	Advances in Temporal Logic (Applied Logic Series, 16)
ISBN:	9789048153893

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.

Informations détaillées sur le livre - Advances in Temporal Logic (Applied Logic Series, 16)

EAN (ISBN-13): 9789048153893
ISBN (ISBN-10): 9048153891
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer
464 Pages
Poids: 0,696 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2011-01-02T18:10:58+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-12-31T20:47:01+01:00 (Paris)
ISBN/EAN: 9789048153893

ISBN - Autres types d'écriture:
90-481-5389-1, 978-90-481-5389-3
Autres types d'écriture et termes associés:
Auteur du livre: michael howard, barring, gough, michael fisher, barringer, dov gabbay
Titre du livre: temporal logic

Données de l'éditeur

Auteur: Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough
Titre: Applied Logic Series; Advances in Temporal Logic
Editeur: Springer; Springer Netherland
453 Pages
Date de parution: 2010-12-08
Dordrecht; NL
Imprimé / Fabriqué en
Langue: Anglais
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.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9789401595865 Advances in Temporal Logic (Nico Stehr)

Évolution du prix...

< pour archiver...