First order dynamic logic (17 risultati)

paperback. Condizione: Used-Very Good. 1979th Edition. Some shelf-wear. Signed.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback or Softback. Condizione: New. First-Order Dynamic Logic. Book.

Condizione: New.

Condizione: New. pp. 148.

Condizione: New. In English.

PF. Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Binary-relation semantics.- II: Computation-tree semantics.

Condizione: New. 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.

paperback. Condizione: 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.…

Condizione: 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.

Condizione: New. PRINT ON DEMAND pp. 148.

LeatherBound. Condizione: 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.…

Taschenbuch. Condizione: Neu. First-Order Dynamic Logic | D. Harel | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1979 | Springer | EAN 9783540092377 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. …