Rohit Parikh (28 results)
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
£ 4.36
£ 8.50 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert. Condition: Gut. 250 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm:…395.
- Softcover
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United KingdomHay-on-Wye Booksellers
Contact seller4-star sellerCondition: Used - Good
£ 8.70
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Light wear to the extremities of the book. Inscriptions at the front. Clean and readable throughout.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.92
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.07
£ 54.08 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Nonclausal temporal deduction.- Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract.- Lambda calculus with constrained types.- An axiomatic treatment of a parallel programming language.- Recursive definitions in ty…pe theory.- Errata.- Automata, tableaux, and temporal logics.- Proving termination of Prolog programs.- A Hoare Calculus for functions defined by recursion on higher types.- On the relative incompleteness of logics for total correctness.- From synchronization tree logic to acceptance model logic.- A FASE specification of FP.- On asymptotic probabilities of inductive queries and their decision problem.- Compositional semantics for real-time distributed computing.- Partial-correctness theories as first-order theories.- The glory of the past.- Continuation semantics in typed lambda-calculi.- Second-order logical relations.- Behavior: a temporal appreach to process modeling.- Equational logic as a programming language: Abstract.- Distributed processes and the logic of knowledge.- Some constructions for order-theoretic models of concurrency.- Proving fairness of schedulers.- The reasoning powers of Burstall's (modal logic) and Pnueli's (temporal logic) program verification methods.- A partial correctness logic for procedures.- A proof system for Distributed Processes.- Fixpoints and program looping: Reductions from the Propositional mu-calculus into Propositional Dynamic Logics of Looping.- Semantical analysis of specification logic.- A simple programming language with data types: semantics and verification.- Computer aided reasoning.- The taming of converse: Reasoning about two-way computations.
More images- Hardcover
Seller: Lacey Books Ltd, Cirencester, United KingdomLacey Books Ltd
Contact seller5-star sellerCondition: Used - Very good
£ 75.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. 2014 Springer hardcover edition. Light reading wear else very good condition. 1. Preview by Sven Ove Hansson 2. David Makinson and the Extension of Classical Logic by Sven Ove Hansson and Peter Gardenfors 3. A Tale of Five Cities by David Makinson 4. Safe Contraction Revisited by Hans Rott and Sv…en Ove Hansson 5. A Panorama of Iterated Revision by Pavlos Peppas 6. AGM, Ranking Theory, and the Many Ways to Cope with Examples by Wolfgang Spohn 7. Liars, Lotteries, and Prefaces: Two Paraconsistent Accounts of Belief Change by Edwin Mares 8. Epistemic Reasoning in Life and Literature by Rohit Parikh 9. New Horn Rules for Probabilistic Consequence: Is O+ Enough? by James Hawthorne 10. Non-Monotonic Logic: Preferential Versus Algebraic Semantics by Karl Schlechta 11. Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics by Hykel Hosni 12. Abstract Interfaces of Input/Output Logic by Audun Stolpe 13. Intuitionistic Basis for Input/Output Logic by Xavier Parent, Dov Gabbay and Leendert van der Torre 14. Reasoning About Permission and Obligation by Jorg Hansen 15. Norm Change in the Common Law by John Horty 16. Intelim Rules for Classical Connectives by David Makinson 17. Relevance Logic as a Conservative Extension of Classical Logic by David Makinson 18. Reflections on the Contributions by David Makinson.
Language: English
Published by Springer, 2013
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 116.65
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Language: English
Published by Springer, 2011
- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 116.65
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Language: English
Published by Springer, 2011
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 137.84
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer, 2013
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 137.84
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer, 2011
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 183.16
£ 2.95 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 396.
Language: English
Published by Springer, 2011
- Hardcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used
£ 107.30
£ 89.72 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', w…hich studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.
Language: English
Published by Springer, Springer, 2013
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 148.50
£ 53.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns…of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 184.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. Like New .Ships From Multiple Locations. book.
Language: English
Published by Springer Verlag, 2010
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 197.13
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 1st edition. 371 pages. 9.00x6.00x1.25 inches. In Stock.
Published by Dordrecht, Kluwer Academic Publishers., 2003
- Softcover
Seller: Antiquariat Haufe & Lutz, Karlsruhe, BW, GermanyAntiquariat Haufe & Lutz
Contact seller4-star sellerCondition: Used
£ 22.00
£ 41.01 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basket6 Hefte. 8°. OKart. Neuwertiges Exemplar. Sprache: deutsch.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1985, 1985
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.07
£ 19.65 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nonclausal temporal deduction.- Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract.- Lambda calculus with constrained types.- An axiomatic treatment of a parallel programming language.- Recursive d…efinitions in type theory.- Errata.- Automata, tableaux, and temporal logics.- Proving termination of Prolog programs.- A Hoare Calculus for functions defined by recursion on higher types.- On the relative incompleteness of logics for total correctness.- From synchronization tree logic to acceptance model logic.- A FASE specification of FP.- On asymptotic probabilities of inductive queries and their decision problem.- Compositional semantics for real-time distributed computing.- Partial-correctness theories as first-order theories.- The glory of the past.- Continuation semantics in typed lambda-calculi.- Second-order logical relations.- Behavior: a temporal appreach to process modeling.- Equational logic as a programming language: Abstract.- Distributed processes and the logic of knowledge.- Some constructions for order-theoretic models of concurrency.- Proving fairness of schedulers.- The reasoning powers of Burstall's (modal logic) and Pnueli's (temporal logic) program verification methods.- A partial correctness logic for procedures.- A proof system for Distributed Processes.- Fixpoints and program looping: Reductions from the Propositional mu-calculus into Propositional Dynamic Logics of Looping.- Semantical analysis of specification logic.- A simple programming language with data types: semantics and verification.- Computer aided reasoning.- The taming of converse: Reasoning about two-way computations. 436 pp. Englisch.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.57
£ 41.86 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Nonclausal temporal deduction.- Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract.- Lambda calculus with constrained types.- An axiomatic treatment of a parallel programming languag…e.- Recursive definitions in type theory.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.07
£ 51.27 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Nonclausal temporal deduction.- Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract.- Lambda calculus with constrained types.- An axiomatic treatment of a parallel programming language.- Recursive defin…itions in type theory.- Errata.- Automata, tableaux, and temporal logics.- Proving termination of Prolog programs.- A Hoare Calculus for functions defined by recursion on higher types.- On the relative incompleteness of logics for total correctness.- From synchronization tree logic to acceptance model logic.- A FASE specification of FP.- On asymptotic probabilities of inductive queries and their decision problem.- Compositional semantics for real-time distributed computing.- Partial-correctness theories as first-order theories.- The glory of the past.- Continuation semantics in typed lambda-calculi.- Second-order logical relations.- Behavior: a temporal appreach to process modeling.- Equational logic as a programming language: Abstract.- Distributed processes and the logic of knowledge.- Some constructions for order-theoretic models of concurrency.- Proving fairness of schedulers.- The reasoning powers of Burstall's (modal logic) and Pnueli's (temporal logic) program verification methods.- A partial correctness logic for procedures.- A proof system for Distributed Processes.- Fixpoints and program looping: Reductions from the Propositional mu-calculus into Propositional Dynamic Logics of Looping.- Semantical analysis of specification logic.- A simple programming language with data types: semantics and verification.- Computer aided reasoning.- The taming of converse: Reasoning about two-way computations.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch.
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.23
£ 59.81 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Logics of Programs | Brooklyn, June 17-19, 1985 | Rohit Parikh | Taschenbuch | viii | Englisch | 1985 | Springer | EAN 9783540156482 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Dem…and.
Language: English
Published by Springer, 2011
- Hardcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
£ 111.13
£ 5.81 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer, 2013
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
£ 111.13
£ 5.81 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer Netherlands, 2013
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 119.83
£ 41.86 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. -offers a mixture of well-established authors and a new generation of feminist scholars-the relative dearth of collected volumes devoted to feminist epistemology in the last decade lends significance to the broad-rang…ing collection-represents significant de.
Language: English
Published by Springer Netherlands Mai 2013, 2013
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 141.25
£ 19.65 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which s…tudies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other. 396 pp. Englisch.
Language: English
Published by Springer Netherlands, 2011
- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 120.81
£ 41.86 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. -offers a mixture of well-established authors and a new generation of feminist scholars-the relative dearth of collected volumes devoted to feminist epistemology in the last decade lends significance to the…broad-ranging collection-represents significant de.
Language: English
Published by Springer, Springer Mai 2013, 2013
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 141.25
£ 51.27 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studi…es patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch.
Language: English
Published by Springer, 2011
- Hardcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 191.53
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 396 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Language: English
Published by Springer, 2011
- Hardcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 200.34
£ 8.50 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 396.
