This volume constitutes the proceedings of the 1st International Conference on Temporal Logic, held in Bonn, Germany in July 1994. It provides reports of all aspects of temporal logic research relevant to general computer science and artificial intelligence. Editor(s): Gabbay, Dov M.; Ohlbach, Hans Jurgen. Series: Lecture Notes in Computer Science. Num Pages: 564 pages, biography. BIC Classification: UYA; UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 786. . 1994. Paperback. . . . . Books ship from the US and Ireland.

Bestandsnummer des Verk�ufers V9783540582410

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Temporal Logic
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Erscheinungsjahr: 1994
Sprache: Englisch
ISBN-10: 354058241X
ISBN-13: 9783540582410
Einband: Softcover
Zustand: New

�ber diesen Titel

Inhaltsangabe

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.

Rese�a del editor

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We carry a comprehensive range of out of print and rare books.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Kennys Bookshops and Art Galleries Limited
Liosban Industrial Estate, Tuam Road, Galway, GY, Ireland

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it's described on the Abebooks websites.

If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.

For any queries please use the contact seller link or send an email to books@kennys.ie

Conor Kenny

Widerrufsbelehrung

Versandbedingungen

All books securely packaged. Some books ship from Ireland.

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	14 bis 20�Werktage	13 bis 14�Werktage
Erster Artikel	EUR 8.97	EUR 17.93

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.