Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
EUR 12,95
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbBroschiert. Zustand: Gut. 545 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Englisch Gewicht in Gramm: 720.
Verlag: Springer Berlin Heidelberg, 1994
ISBN 10: 354058241X ISBN 13: 9783540582410
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 78,82
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 87,57
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Verlag: Springer Berlin Heidelberg, 1994
ISBN 10: 354058241X ISBN 13: 9783540582410
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 111,30
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994
ISBN 10: 354058241X ISBN 13: 9783540582410
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 170,69
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New. 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.