Type d'article
Etat
Reliure
Particularités
Pays
Evaluation du vendeur
Edité par Springer, 1996
ISBN 10 : 3540618821ISBN 13 : 9783540618829
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Livre Edition originale
Etat : Very Good. 1st Edition. Used book that is in excellent condition. May show signs of wear or have minor defects.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 32,02
Offres d'occasion à partir de EUR 9,44
Trouvez également Couverture rigide Edition originale
Edité par Springer-Verlag, Berlin, Heidelberg, New York, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : PsychoBabel & Skoob Books, Didcot, Oxfordshire, OXON, Royaume-Uni
Livre
paperback. Etat : Very Good. Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 713. Minor shelfwear to the cover. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. Used.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 54,79
Offres d'occasion à partir de EUR 17,98
Trouvez également Couverture souple
Edité par Springer, 2001
ISBN 10 : 3540422544ISBN 13 : 9783540422549
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Livre
Paperback. Etat : Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 102,95
Offres d'occasion à partir de EUR 47,51
Trouvez également Couverture souple
Edité par Springer, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 53,13
Edité par Springer, 2011
ISBN 10 : 3642644732ISBN 13 : 9783642644733
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 53,14
Offres d'occasion à partir de EUR 73,76
Trouvez également Couverture souple
Edité par Springer Nature B.V., 2014
ISBN 10 : 3662171198ISBN 13 : 9783662171196
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Livre impression à la demande
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 61,44
Edité par Springer, 2004
Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Allemagne
Membre d'association : GIAQ
Livre
Hardcover/Pappeinband. 352 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 775.
Edité par Springer, 2011
ISBN 10 : 9400703198ISBN 13 : 9789400703193
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : New.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 103,69
Offres d'occasion à partir de EUR 162,42
Trouvez également Couverture rigide
Vendeur : Librairie Chat, Beijing, Chine
Etat : Fine. Number of books: 1 book.
Edité par Springer Netherlands Feb 2013, 2013
ISBN 10 : 9400734972ISBN 13 : 9789400734975
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch'utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof. Moreover, a complexity theoretic comparison of Gentzen's and Tait's methods is given.The core of the book centers around the cut-elimination method CERES (cut elimination by resolution) developed by the authors. CERES is based on the resolution calculus and radically differs from the reductive cut-elimination methods. The book shows that CERES asymptotically outperforms all reductive methods based on Gentzen's cut-reduction rules. It obtains this result by heavy use of subsumption theorems in clause logic. Moreover, several applications of CERES are given (to interpolation, complexity analysis of cut-elimination, generalization of proofs, and to the analysis of real mathematical proofs). Lastly, the book demonstrates that CERES can be extended to nonclassical logics, in particular to finitely-valued logics and to G'odel logic. 296 pp. Englisch.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 106,99
Offres d'occasion à partir de EUR 159,42
Trouvez également Couverture souple
Edité par Springer, 2004
ISBN 10 : 1402026528ISBN 13 : 9781402026522
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Livre
Etat : New. New. In shrink wrap. Looks like an interesting title! 1.5.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 135,44
Edité par Springer, 2010
ISBN 10 : 9048166969ISBN 13 : 9789048166961
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 159,17
Offres d'occasion à partir de EUR 220,55
Trouvez également Couverture souple