Logic Programs Workshop Eth (5 results)
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 71.40
US$ 16.35 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 67.14
US$ 21.14 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$ 4.81
US$ 46.70 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$ 64.32
US$ 72.35 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$ 60.43
US$ 81.72 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 o…n Demand.
