Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Paese del venditore
Valutazione venditore
Editore: Berlin, Heidelberg, New York : Springer, 1975
ISBN 10: 3540071555ISBN 13: 9783540071556
Da: Antiquariat Bookfarm, Löbnitz, Germania
Libro
251 pages: graph. Darst. Ex-Library book in good condition. 9783540071556 Sprache: Englisch Gewicht in Gramm: 550.
Editore: Springer 1985-06-01, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
Libro
Paperback. Condizione: Good. Light wear to the extremities of the book. Inscriptions at the front. Clean and readable throughout.
Editore: Springer, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Libro
Paperback. Condizione: Very Good. 0387156488 Ex-library paperback in very nice condition with the usual markings and attachments.
Editore: Dordrecht, Kluwer Academic Publishers., 2003
Da: Antiquariat Haufe & Lutz, Karlsruhe, BW, Germania
6 Hefte. 8°. OKart. Neuwertiges Exemplar. Sprache: deutsch.
Editore: Springer, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer Berlin Heidelberg, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: 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 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.
Editore: Springer Berlin Heidelberg, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: moluna, Greven, Germania
Libro Print on Demand
Condizione: 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 language.- Recursive definitions in type theory.
Editore: Springer 1985-06, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: Chiron Media, Wallingford, Regno Unito
Libro
PF. Condizione: New.
Editore: Morgan Kaufmann Publishers In, 1990
ISBN 10: 1558601058ISBN 13: 9781558601055
Da: Buchpark, Trebbin, Germania
Libro
Condizione: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 305 | Sprache: Englisch.
Editore: Springer Berlin Heidelberg Jun 1985, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: 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 definitions 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.
Editore: Springer, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: dsmbooks, Liverpool, Regno Unito
Libro
Paperback. Very Good Dust Jacket may be missing.CDs may be missing. book.
Editore: Springer, 2011
ISBN 10: 9400700792ISBN 13: 9789400700796
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Hardcover. Condizione: new.
Editore: Springer, 2013
ISBN 10: 9400735812ISBN 13: 9789400735811
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer, 2011
ISBN 10: 9400700792ISBN 13: 9789400700796
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 2013
ISBN 10: 9400735812ISBN 13: 9789400735811
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 2013
ISBN 10: 9400735812ISBN 13: 9789400735811
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2011
ISBN 10: 9400700792ISBN 13: 9789400700796
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer Netherlands Mai 2013, 2013
ISBN 10: 9400735812ISBN 13: 9789400735811
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: 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 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. 396 pp. Englisch.
Editore: Springer Netherlands, 2013
ISBN 10: 9400735812ISBN 13: 9789400735811
Da: moluna, Greven, Germania
Libro Print on Demand
Condizione: 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.
Editore: Springer Netherlands, 2011
ISBN 10: 9400700792ISBN 13: 9789400700796
Da: moluna, Greven, Germania
Libro Print on Demand
Gebunden. Condizione: 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.
Editore: Springer, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: Books Puddle, New York, NY, U.S.A.
Libro
Condizione: New. pp. 436.
Editore: Springer, 2013
ISBN 10: 9400735812ISBN 13: 9789400735811
Da: Books Puddle, New York, NY, U.S.A.
Libro
Condizione: New. pp. 396.
Editore: Springer Netherlands, 2013
ISBN 10: 9400735812ISBN 13: 9789400735811
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: 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.
Editore: Springer, 1985
ISBN 10: 3540156488ISBN 13: 9783540156482
Da: Majestic Books, Hounslow, Regno Unito
Libro Print on Demand
Condizione: New. Print on Demand pp. 436 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Editore: Springer, 2013
ISBN 10: 9400735812ISBN 13: 9789400735811
Da: Majestic Books, Hounslow, Regno Unito
Libro Print on Demand
Condizione: New. Print on Demand pp. 396 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Editore: Springer Verlag, 2010
ISBN 10: 9400700792ISBN 13: 9789400700796
Da: Revaluation Books, Exeter, Regno Unito
Libro
Hardcover. Condizione: Brand New. 1st edition. 371 pages. 9.00x6.00x1.25 inches. In Stock.