Anbieter: Powell's Bookstores Chicago, ABAA, Chicago, IL, USA
Zustand: Used - Very Good. 1979. Paperback. Some shelf-wear. Very Good.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 18,69
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New. pp. 148.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 15,09
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 12,89
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Verlag: Springer Berlin 1979, 1979
Anbieter: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Deutschland
Format groß 8°, broschiert, größerer weißer Fleck auf dem Einband v133 Seiten, on entfernter Rückensignatur, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen. Shipping to abroad insured with tracking number.
Verlag: Springer Berlin Heidelberg, 1979
ISBN 10: 3540092374 ISBN 13: 9783540092377
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Binary-relation semantics.- II: Computation-tree semantics.
Taschenbuch. Zustand: Neu. First-Order Dynamic Logic | D. Harel | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1979 | Springer-Verlag GmbH | EAN 9783540092377 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Anbieter: liu xing, Nanjing, JS, China
paperback. Zustand: New. Paperback.Pub Date:2023-05 Pages:296 Language:Chinese Publisher:Science Press Agent Behavior Reasoning Based on First-Order Dynamic Logic and Its Philosophical Reflection studies Agent Behavior Reasoning Based on First-Order Dynamic Logic and Its Extended System from the perspective of artificial intelligence. and conducts philosophical reflection on related issues. The specific contents include: propositional dynamic logic as the basic system of first-order dynamic logic. first-order dynamic.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 17,23
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 148 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 148.
Erscheinungsdatum: 2025
Anbieter: True World of Books, Delhi, Indien
LeatherBound. Zustand: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. LeatherBound edition. Condition: New. Reprinted from 1970 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. A perfect gift for your loved ones. Pages: 132 NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 132 Volume 144.
Verlag: Springer Berlin Heidelberg, 1979
ISBN 10: 3540092374 ISBN 13: 9783540092377
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 13,46
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. I: Binary-relation semantics.- II: Computation-tree semantics.David Harel has been at the Weizmann Institute of Science in Israel since 1980. He was Department Head from 1989-95, and was Dean of the Faculty of Mathematics and Computer Science betwee.