«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Temporal Logic

First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Temporal Logic Dov M. Gabbay
Código Libristo: 05274404
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 1994
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Descripción completa
? points 290 b
118.29 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Política de devolución de 30 días

Clientes que también han comprado

Endokrinologie Michael Krieg / Libro Tapa blanda
common.buy 84.39 €
Pop for Violin, m. Audio-CD. Vol.2 / Libro Tapa blanda
common.buy 24.79 €
Gespräche mit Tieren Penelope Smith / Libro Tapa dura
common.buy 17.39 €
Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald / Libro Tapa dura
common.buy 11.59 €
Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz / Libro Tapa blanda
common.buy 14.99 €
PAYBACK 2014, 1 Blu-ray John/Bryan Cena / Video Blu-ray
common.buy 20.59 €
Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin / Libro Tapa blanda
common.buy 12.89 €
Popular
Liebesfreud - Liebesleid Fritz Kreisler / Libro Tapa blanda
common.buy 27.29 €
Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur / Libro Tapa blanda
common.buy 14.19 €
Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa / Libro Tapa blanda
common.buy 67.89 €
Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze / Libro Hoja
common.buy 8.29 €

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Temporal Logic
Autor Dov M. Gabbay, Hans J. Ohlbach
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1994
Número de páginas 551
EAN 9783540582410
ISBN 354058241X
Código Libristo 05274404
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1740
Dimensiones 155 x 235 x 31

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Programación informática/desarrollo de software > Programación de bases de datos
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Análisis y diseño de sistemas
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Computación e informática > Bases de datos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Temporal Logic: Volume 2 Dov M. Gabbay / Libro Tapa dura
common.buy 331.09 €
Temporal Logic: Volume 1 Dov M. Gabbay / Libro Tapa dura
common.buy 516.39 €
Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness / Libro Tapa blanda
common.buy 20.09 €
Danger in the Wind Jane Finnis / Libro Tapa blanda
common.buy 19.39 €
Toy Australian Shepherd. Toy Australian Shepherd Dog Complete Owners Manual. Toy Australian Shepherd book for care, costs, feeding, grooming, health a George Hoppendale / Libro Tapa blanda
common.buy 16.09 €
Field Trip Mad Libs Mickie Matheis / Libro Tapa blanda
common.buy 6.29 €
Saugerties Edward Poll / Libro Tapa blanda
common.buy 21.89 €
Timed Readings: Book Five: Fifty 400-Word Passages with Questions for Building Reading Speed Edward Spargo / Libro Tapa blanda
common.buy 36.89 €
Uist 12 Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology Uist 12 Conference Committee / Libro Tapa blanda
common.buy 172.69 €
Fairmont Bears Go To Radium Joan Olsen / Libro Tapa blanda
common.buy 21.99 €
Gears of a Mad God Omnibus Brent Nichols / Libro Tapa blanda
common.buy 11.59 €
Plotinus, V1: The First, Second and Third Ennead Stephen MacKenna / Libro Tapa blanda
common.buy 40.69 €
All the Books of the Bible: Nehemiah M E Rosson / Libro Tapa blanda
common.buy 12.59 €
Scholar's Challenge Julian Bauer / Libro Tapa blanda
common.buy 27.09 €
Psychoanalysis - Sleep and Dreams ANDRE TRIDON / Libro Tapa blanda
common.buy 17.79 €
Abandoned Derek Hart / Libro Tapa blanda
common.buy 25.89 €
First Stop Brooklyn: A selection of twenty-five short chronicles on life in Old Brooklyn. Harrison Gross / Libro Tapa blanda
common.buy 10.69 €
The Arrow-Maker Mary Hunter Austin / Libro Tapa blanda
common.buy 7.99 €
Primogeniture: A Short History Of Its Development In Various Countries And Its Practical Effects (1895) Evelyn Cecil / Libro Tapa dura
common.buy 44.59 €
Próximamente
Treasury of the True Dharma Eye Soto Zen Text Project / Libro Tapa blanda
common.buy 248.59 €
First-Century Palestinian Judaism David Ray Bourquin / Libro Tapa dura
common.buy 34.59 €
Introduction to the Principles of Plant Taxonomy V. V. SivarajanN. K. P. Robson / Libro Tapa blanda
common.buy 90.79 €
Biology of the Autistic Syndromes Mary Coleman / Libro Tapa dura
common.buy 104.39 €
Psychological and Transcendental Phenomenology and the Confrontation with Heidegger (1927-1931) Edmund Husserl / Libro Tapa blanda
common.buy 162.79 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?