Logic Programs Workshop Eth (5 results)
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.64
US$ 12.65 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.43
US$ 20.91 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Librería La Candela, Murcia, MU, SpainLibrería La Candela
Contact seller5-star sellerCondition: Used
US$ 2.38
US$ 46.19 shippingShips from Spain to U.S.A.Quantity: 1 available
Add to basket.- Berlín Heidelberg New York. 1981. Springer - Verlag. 4º menor. 3 h- 245 pgs. Rústica editorial . Muy buen estado. . . ISBN 10: 3540111603. Informática.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.62
US$ 71.56 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL - Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions.…
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.77
US$ 80.84 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Logic of Programs | Workshop, ETH Zürich, May-July 1979 | E. Engeler | Taschenbuch | vii | Englisch | 1981 | Springer | EAN 9783540111603 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …
