Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 26,21
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. In.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: Speedyhen, London, Reino Unido
EUR 23,29
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoCondición: NEW.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 30,28
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. 2023. New. paperback. . . . . .
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 26,32
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: Majestic Books, Hounslow, Reino Unido
EUR 24,50
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Publicado por Cambridge University Press 10/5/2023, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 24,59
Convertir monedaCantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Temporal Logics 0.35. Book.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 36,59
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. 2023. New. paperback. . . . . . Books ship from the US and Ireland.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 29,32
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. New edition NO-PA16APR2015-KAP.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 22,18
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Cambridge University Press Okt 2023, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 27,79
Convertir monedaCantidad 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.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 25,72
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 31,66
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 75 pages. 9.00x6.00x0.23 inches. In Stock.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 26,24
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 29,50
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 31,48
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Publicado por Cambridge University Press, Cambridge, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: CitiRetail, Stevenage, Reino Unido
EUR 34,21
Convertir monedaCantidad 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Publicado por Cambridge University Press, Cambridge, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: AussieBookSeller, Truganina, VIC, Australia
EUR 46,38
Convertir monedaCantidad 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Publicado por Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Idioma: Inglés
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 85,80
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Publicado por Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Idioma: Inglés
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 85,80
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: SGS Trading Inc, Franklin Lakes, NJ, Estados Unidos de America
EUR 56,54
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritopaperback. Condición: New. New Textbook, Ships with Tracking.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: SGS Trading Inc, Franklin Lakes, NJ, Estados Unidos de America
EUR 56,54
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritopaperback. Condición: Good. Textbook, May Have Highlights, Notes and/or Underlining, BOOK ONLY-NO ACCESS CODE, NO CD, Ships with Tracking.
Publicado por Cambridge University Press, Cambridge, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: Grand Eagle Retail, Fairfield, OH, Estados Unidos de America
EUR 29,28
Convertir monedaCantidad 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Publicado por Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Idioma: Inglés
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 129,81
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 780.
Publicado por Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Idioma: Inglés
Librería: Majestic Books, Hounslow, Reino Unido
EUR 131,10
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 780.
Publicado por Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Idioma: Inglés
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 137,07
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 780.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 152,41
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Brand New. 1st edition. 780 pages. 10.25x7.25x2.00 inches. In Stock.
Publicado por Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 25,82
Convertir monedaCantidad 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 175.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 21,43
Convertir monedaCantidad 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.