Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings - Couverture souple
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.
Résultats de recherche pour Computational Logic and Proof Theory: 5th Kurt G??del...
Image d'archives
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020172950
Acheter neuf
EUR 53,01
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4973235-n
Acheter neuf
EUR 54,21
Frais de port :
EUR 2,28
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
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
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 4973235
Acheter D'occasion
EUR 60,35
Frais de port :
EUR 2,28
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540633853_new
Acheter neuf
EUR 59,52
Frais de port :
EUR 13,62
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computational Logic and Proof Theory
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10 : 3540633855
ISBN 13 : 9783540633853
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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
Acheter neuf
EUR 53,49
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4973235-n
Acheter neuf
EUR 59,51
Frais de port :
EUR 17,06
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
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
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 4973235
Acheter D'occasion
EUR 65,31
Frais de port :
EUR 17,06
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings (Lecture Notes in Computer Science)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 1997 edition. 348 pages. 9.00x6.00x0.75 inches. In Stock. N° de réf. du vendeur x-3540633855
Acheter neuf
EUR 80,24
Frais de port :
EUR 11,37
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Computational Logic and Proof Theory
Edité par
Springer Berlin Heidelberg, 1997
ISBN 10 : 3540633855
ISBN 13 : 9783540633853
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
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
Acheter neuf
EUR 48,37
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computational Logic and Proof Theory
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10 : 3540633855
ISBN 13 : 9783540633853
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch. N° de réf. du vendeur 9783540633853
Acheter neuf
EUR 53,49
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)