Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 24,90
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press 10/5/2023, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 27,29
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Temporal Logics. Book.
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 27,91
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 26,08
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Cambridge University Press, GB, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 28,59
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks.
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 26,09
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: Chiron Media, Wallingford, Reino Unido
EUR 22,23
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 29,39
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. 2023. New. paperback. . . . . .
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 38,99
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. New edition NO-PA16APR2015-KAP.
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 26,42
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 35,82
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. 2023. New. paperback. . . . . . Books ship from the US and Ireland.
EUR 33,97
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 75 pages. 9.00x6.00x0.23 inches. In Stock.
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 31,97
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Cambridge University Press Okt 2023, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 27,79
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks.
Idioma: Inglés
Publicado por Cambridge University Press, GB, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: Rarewaves.com UK, London, Reino Unido
EUR 25,67
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 21,08
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 75 pages. 9.00x6.00x0.23 inches. In Stock. This item is printed on demand.
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 26,43
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: Majestic Books, Hounslow, Reino Unido
EUR 36,32
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Idioma: Inglés
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 36,59
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Librería: CitiRetail, Stevenage, Reino Unido
EUR 36,66
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks. Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.