Articles liés à Computational Logic and Proof Theory: 5th Kurt Godel...

Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings - Couverture souple

 
9783540633853: Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Couverture souple
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997
Afficher les exemplaires de cette édition ISBN
 
 
Computational Logic and Proof Theory The proceedings of the Fifth Kurt Godel Colloquium on Computational Logic and Proof Theory, KGC '97. This volume 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. Full description

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

Acheter neuf

En savoir plus sur cette édition
9783540633853: Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
EUR 53,31

Autre devise

Frais de port : Gratuit
Vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

Image fournie par le vendeur

"Mundici, Daniele", "Leitsch, Alexander", "Gottlob, Georg"
Edité par Springer (1997)
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Soft Cover Quantité disponible : 10
Vendeur :
booksXpress
(Bayonne, NJ, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 4 étoiles, Learn more about seller ratings

Description du livre Soft Cover. Etat : new. N° de réf. du vendeur 9783540633853

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 53,31
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

Edité par Springer (1997)
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Couverture souple Quantité disponible : > 20
Vendeur :
Lucky's Textbooks
(Dallas, TX, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

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

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 56,66
Autre devise

Ajouter au panier

Frais de port : EUR 3,70
Vers Etats-Unis
Destinations, frais et délais
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 Quantité disponible : 5
Vendeur :
GreatBookPrices
(Columbia, MD, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

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

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 57,94
Autre devise

Ajouter au panier

Frais de port : EUR 2,45
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

Georg Gottlob
Edité par Springer (1997)
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Couverture souple Quantité disponible : > 20
impression à la demande
Vendeur :
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783540633853_lsuk

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 59,56
Autre devise

Ajouter au panier

Frais de port : EUR 11,78
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
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 Quantité disponible : 5
Vendeur :
GreatBookPricesUK
(Castle Donington, DERBY, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

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

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 59,54
Autre devise

Ajouter au panier

Frais de port : EUR 17,71
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Alexander Leitsch
Edité par Springer (1997)
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Paperback Quantité disponible : 2
Vendeur :
Revaluation Books
(Exeter, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

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

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 71,02
Autre devise

Ajouter au panier

Frais de port : EUR 11,81
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

N/A
Edité par Springer (1997)
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Couverture souple Quantité disponible : 15
Vendeur :
Kennys Bookshop and Art Galleries Ltd.
(Galway, GY, Irlande)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. N° de réf. du vendeur V9783540633853

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 78,18
Autre devise

Ajouter au panier

Frais de port : EUR 10,50
De Irlande vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Georg Gottlob
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Taschenbuch Quantité disponible : 1
Vendeur :
AHA-BUCH GmbH
(Einbeck, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

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

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 59,51
Autre devise

Ajouter au panier

Frais de port : EUR 32,99
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Gottlob, Georg|Leitsch, Alexander|Mundici, Danile
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Couverture souple Quantité disponible : > 20
impression à la demande
Vendeur :
moluna
(Greven, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

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

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 48,37
Autre devise

Ajouter au panier

Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image d'archives

N/A
Edité par Springer (1997)
ISBN 10 : 3540633855 ISBN 13 : 9783540633853
Neuf Couverture souple Quantité disponible : 15
Vendeur :
Kennys Bookstore
(Olney, MD, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 4 étoiles, Learn more about seller ratings

Description du livre Etat : New. N° de réf. du vendeur V9783540633853

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 97,47
Autre devise

Ajouter au panier

Frais de port : EUR 9,74
Vers Etats-Unis
Destinations, frais et délais

There are autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre