Artículos relacionados a Volume 1: 28 (Oxford Logic Guides)
Sinopsis
Book by Gabbay Dov M Hodkinson Ian Reynolds Mark
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas
The book presents some fundamental theorems which help to prove or disprove the expressiveness completeness of a temporal logic. Although the book is focused mainly on the authors' research, the breadth of their research allows them to cover a lot of interesting material ... a very comprehensive study of temporal logics, their expressiveness and axiomatization ... it is very thorough and presents the subjects of its focus in great depth. It can point practitioners of this field to existing results and thus is recommended as a good research reference. (D. Peled, The Computer Journal,)
'This book represents the fruitful achievments of the authors' outstanding accomplishments and coooperation in the field of temporal logic, providing a comprehensive mathematical and computational tool for research and applications of the domain... na extensive bibliography of 666 basic titles in the field, and adequate indexes, add to the high quality and usefulness of the book' Zentralblatt Math
Reseña del editor
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results.
Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialClarendon Press
- Año de publicación1994
- ISBN 10 0198537697
- ISBN 13 9780198537694
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas668
Comprar nuevo
Ver este artículo
EUR 445,91
EUR 48,99 gastos de envío desde Alemania a Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Volume 1: 28 (Oxford Logic Guides)
Imagen de archivo
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides)
Publicado por
Clarendon Press, 1994
ISBN 10: 0198537697
ISBN 13: 9780198537694
Antiguo o usado
Tapa dura
Librería: Half Moon Books, High Falls, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Very Good. Covers show some yellowing, soiling and scuffing. Nº de ref. del artículo: mon0000001049
Cantidad disponible: 1 disponibles
Imagen de archivo
Temporal Logic: Volume 1: Mathematical Foundations and Computational Aspects: Vol 1 (Oxford Logic Guides)
Publicado por
Clarendon Press, 1994
ISBN 10: 0198537697
ISBN 13: 9780198537694
Antiguo o usado
Tapa dura
Librería: Fireside Bookshop, Stroud, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Cloth. Condición: Very Good. Type: Book Small address label on ffep. Nº de ref. del artículo: 050430
Gastos de envío:
EUR 29,44
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Temporal Logic: Volume 1
Publicado por
Oxford University Press, 1994
ISBN 10: 0198537697
ISBN 13: 9780198537694
Nuevo
Einband - fest (Hardcover)
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Einband - fest (Hardcover). Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science. Nº de ref. del artículo: 594409984
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides, 28)
Publicado por
Clarendon Press, 1994
ISBN 10: 0198537697
ISBN 13: 9780198537694
Antiguo o usado
Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA79001985376976
Gastos de envío:
EUR 29,44
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles