Articles liés à Computational Logic and Proof Theory: 5th Kurt G??del...

Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings - Couverture souple

Mundici, Daniele; Leitsch, Alexander; Gottlob, Georg

 
9783540633853: Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Couverture souple
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Editeur : Springer, 2008

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2008
  • ISBN 10 3540633855
  • ISBN 13 9783540633853
  • ReliureBroché
  • Langueanglais
  • Nombre de pages364

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
9783540633853: Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
EUR 55,01

Autre devise

EUR 17,64 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783540633853: Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
EUR 53,49

Autre devise

EUR 10,99 expédition depuis Allemagne vers France

Destinations, frais et délais

Résultats de recherche pour Computational Logic and Proof Theory: 5th Kurt G??del...

Image fournie par le vendeur

Georg Gottlob
Edité par Springer Berlin Heidelberg, 1997
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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. N° de réf. du vendeur 9783540633853

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Mundici, Daniele; Leitsch, Alexander; Gottlob, Georg
Edité par Springer, 1997
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783540633853_new

Contacter le vendeur

Acheter neuf

EUR 61,98
Autre devise
Frais de port : EUR 4,73
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Gottlob, Georg (EDT); Leitsch, Alexander; Mundici, Daniele
Edité par Springer, 1997
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 4973235

Contacter le vendeur

Acheter D'occasion

EUR 55,01
Autre devise
Frais de port : EUR 17,64
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Gottlob, Georg (EDT); Leitsch, Alexander; Mundici, Daniele
Edité par Springer, 1997
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 4973235-n

Contacter le vendeur

Acheter neuf

EUR 55,34
Autre devise
Frais de port : EUR 17,64
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Gottlob, Georg|Leitsch, Alexander|Mundici, Danile
Edité par Springer Berlin Heidelberg, 1997
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. 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 . N° de réf. du vendeur 4896313

Contacter le vendeur

Acheter neuf

EUR 64,08
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Gottlob, Georg (EDT); Leitsch, Alexander; Mundici, Daniele
Edité par Springer, 1997
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 4973235

Contacter le vendeur

Acheter D'occasion

EUR 57,72
Autre devise
Frais de port : EUR 17,76
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Gottlob, Georg (EDT); Leitsch, Alexander; Mundici, Daniele
Edité par Springer, 1997
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 4973235-n

Contacter le vendeur

Acheter neuf

EUR 61,97
Autre devise
Frais de port : EUR 17,76
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Alexander Leitsch
Edité par Springer, 1997
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Brand New. 1997 edition. 348 pages. 9.00x6.00x0.75 inches. In Stock. N° de réf. du vendeur x-3540633855

Contacter le vendeur

Acheter neuf

EUR 81,89
Autre devise
Frais de port : EUR 11,84
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Georg Gottlob
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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. N° de réf. du vendeur 9783540633853

Contacter le vendeur

Acheter neuf

EUR 85,59
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Mundici, Daniele; Leitsch, Alexander; Gottlob, Georg
Edité par Springer, 1997
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020172950

Contacter le vendeur

Acheter neuf

EUR 54,12
Autre devise
Frais de port : EUR 66,18
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier