Artículos relacionados a Volume 1: 28 (Oxford Logic Guides)
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
"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
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 331,71
EUR 26,33 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Volume 1: 28 (Oxford Logic Guides)
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
Cantidad disponible: 1 disponibles
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: 5 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: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)
Librería: Toscana Books, AUSTIN, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Nº de ref. del artículo: Scanned0198537697
Cantidad disponible: 1 disponibles
Imagen de archivo
Temporal Logic: Volume 1 (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: bc41b7e9082eefea55261a5aadad9441
Cantidad disponible: Más de 20 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: 4 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
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 1
Publicado por
Oxford University Press, 1994
ISBN 10: 0198537697
ISBN 13: 9780198537694
Antiguo o usado
Tapa dura
Librería: OM Books, Sevilla, SE, España
Calificación del vendedor: 5 de 5 estrellas
Condición: Usado - bueno. Nº de ref. del artículo: 9780198537694
Cantidad disponible: 1 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
Cantidad disponible: 1 disponibles