Type d'article
Etat
Reliure
Particularités
Livraison gratuite
Pays
Evaluation du vendeur
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.
Edité par Springer, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Livre
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Edité par Springer, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : Irish Booksellers, Portland, ME, Etats-Unis
Livre
Etat : Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Edité par Springer, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Edité par Springer, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Edité par Springer, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Livre
Etat : New.
Edité par Springer, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Livre
Etat : New.
Edité par Springer, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : New.
Edité par Springer, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : New.
Edité par Springer, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : As New. Unread book in perfect condition.
Edité par Springer, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Livre impression à la demande
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Livre impression à la demande
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : New.
Edité par Springer, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : New.
Edité par Springer, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Livre
Paperback. Etat : Brand New. 1997 edition. 348 pages. 9.00x6.00x0.75 inches. In Stock.
Edité par Springer 1993-08, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Livre
PF. Etat : New.
Edité par Springer Berlin Heidelberg Aug 1993, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
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 -The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers working in the fields ofcomputational logic and proof theory. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science. In both disciplines methods were inventedwhich arecrucial to one another. This volume contains theproceedings of the symposium. It contains contributions by36 authors from 10 different countries. In addition to 10invited papers there are 26 contributed papers selected fromover 50 submissions. 372 pp. Englisch.
Edité par Springer, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : As New. Unread book in perfect condition.
Edité par Springer, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Livre
Etat : New.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Livre
Etat : New. The proceedings of a biennial symposium on logic, theoretical computer science and the philosophy of mathematics are recorded in this volume. Emphasis is placed on proof theory, which although traditionally a discipline of mathematical logic, is also a central activity in computer science. Editor(s): Gottlob, G.; Leitsch, Alexander; Mundici, Daniele. Series: Lecture Notes in Computer Science. Num Pages: 365 pages, biography. BIC Classification: PBB; UYA. Category: (P) Professional & Vocational. Dimension: 279 x 216 x 19. Weight in Grams: 1160. . 1993. Paperback. . . . .
Edité par Springer Berlin Heidelberg, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
Edité par Springer Berlin Heidelberg, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers working in the fields ofcomputational logic and proof theory. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science. In both disciplines methods were inventedwhich arecrucial to one another. This volume contains theproceedings of the symposium. It contains contributions by36 authors from 10 different countries. In addition to 10invited papers there are 26 contributed papers selected fromover 50 submissions.
Edité par Springer Berlin Heidelberg, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : moluna, Greven, Allemagne
Livre impression à la demande
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 5th Kurt Goedel Colloquium on Computational Logic and Proof Theory, KGC 97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also .
Edité par Springer Berlin Heidelberg, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : moluna, Greven, Allemagne
Livre impression à la demande
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The Third Kurt G|del Symposium, KGC 93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers wor.
Vendeur : Librairie Chat, Beijing, Chine
Etat : Fine. Number of books: 1 book.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Livre
Etat : New. The proceedings of a biennial symposium on logic, theoretical computer science and the philosophy of mathematics are recorded in this volume. Emphasis is placed on proof theory, which although traditionally a discipline of mathematical logic, is also a central activity in computer science. Editor(s): Gottlob, G.; Leitsch, Alexander; Mundici, Daniele. Series: Lecture Notes in Computer Science. Num Pages: 365 pages, biography. BIC Classification: PBB; UYA. Category: (P) Professional & Vocational. Dimension: 279 x 216 x 19. Weight in Grams: 1160. . 1993. Paperback. . . . . Books ship from the US and Ireland.
Edité par Springer, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Livre
Etat : New.
Edité par Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10 : 3540633855ISBN 13 : 9783540633853
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 book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity. 364 pp. Englisch.
Edité par Springer, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : As New. Unread book in perfect condition.
Edité par Springer, 1993
ISBN 10 : 3540571841ISBN 13 : 9783540571841
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Livre
Paperback. Etat : Like New. Like New. book.