Order Total (1 Item Items):
Shipping Destination:
First Order Dynamic Logic (13 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (13)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (9)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 0.48.
-
First-Order Dynamic Logic (Lecture Notes in Computer Science)
Seller: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Used - Very Good. 1979. Paperback. Some shelf-wear. Very Good.
-
Condition: New. pp. 148.
-
US$ 20.88
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
First-Order Dynamic Logic (Lecture Notes in Computer Science, 68)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 18.18
Convert currencyUS$ 16.12 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 13.39
Convert currencyUS$ 20.84 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
First-order dynamic logic. Lecture notes in computer science
Published by Springer Berlin 1979, 1979
Seller: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Germany
Seller rating 5 out of 5 stars
US$ 9.50
Convert currencyUS$ 19.59 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketFormat 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.
-
First-Order Dynamic Logic
Published by Springer Berlin Heidelberg, 1979
ISBN 10: 3540092374 ISBN 13: 9783540092377
Language: English
US$ 12.69
Convert currencyUS$ 33.62 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Binary-relation semantics.- II: Computation-tree semantics.
-
US$ 17.53
Convert currencyUS$ 8.75 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: 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.
-
US$ 132.02
Convert currencyUS$ 18.00 shipping from China to U.S.A.Quantity: 3 available
Add to basketpaperback. Condition: 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.
-
US$ 20.61
Convert currencyUS$ 11.47 shipping from Germany to U.S.A.Quantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 148.
-
![Seller image for A First-Order Dynamic Logic for Planning 1970 Volume 144 [LeatherBound] for sale by True World of Books](https://pictures.abebooks.com/inventory/md/md31618618803.jpg)
A First-Order Dynamic Logic for Planning 1970 Volume 144 [LeatherBound]
Publication Date: 2023
LeatherBound. Condition: New. 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.
-
First-Order Dynamic Logic
Published by Springer Berlin Heidelberg, 1979
ISBN 10: 3540092374 ISBN 13: 9783540092377
Language: English
US$ 15.97
Convert currencyUS$ 56.47 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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.
