Articles liés à Computational Logic
Synopsis
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 43,52
EUR 7,95 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Computational Logic
Image d'archives
Computational Logic (NATO ASI Series F: Computer and Systems Sciences) (Volume 165)
Edité par
Springer, 1999
ISBN 10 : 3540645896
ISBN 13 : 9783540645894
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Fair. Volume 165. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9783540645894. N° de réf. du vendeur 4313516
Quantité disponible : 1 disponible(s)
Image d'archives
Computational Logic
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 460. N° de réf. du vendeur 183061893
Quantité disponible : 1 disponible(s)
Image d'archives
Computational Logic
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 460. N° de réf. du vendeur 263061903
Quantité disponible : 1 disponible(s)
Image d'archives
Computational Logic
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 460 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. N° de réf. du vendeur 5834576
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Computational Logic (Nato ASI Subseries F: (165)).
Edité par
Springer, 1999
ISBN 10 : 3540645896
ISBN 13 : 9783540645894
Ancien ou d'occasion
Couverture rigide
Vendeur : Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. orig. ed. 457 p. In very good condition. ISBN: 9783540645894 Sprache: Englisch Gewicht in Gramm: 788 15,6 x 2,5 x 23,4 cm, hardcover. N° de réf. du vendeur 59679
Quantité disponible : 2 disponible(s)
Image d'archives
Computational Logic - Proceedings Of The Nato Advanced Study Institute On Computational Logic, Held In Marktoberdorf, Germany, July 29-august 10, 1997
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-84001
Quantité disponible : 1 disponible(s)
Image d'archives
Computational Logic - Proceedings Of The Nato Advanced Study Institute On Computational Logic, Held In Marktoberdorf, Germany, July 29-august 10, 1997
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-268409
Quantité disponible : 1 disponible(s)
Image d'archives
Computational Logic (NATO ASI Subseries F:, 165)
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
N° de réf. du vendeur SHUB268409
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Computational Logic
Edité par
Springer Berlin Heidelberg, 1999
ISBN 10 : 3540645896
ISBN 13 : 9783540645894
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997|World-class research on the interplay of mathematical logic and computer scienceHigh-level introduction to proof-theoretic. N° de réf. du vendeur 4896824
Quantité disponible : Plus de 20 disponibles
Image d'archives
Computational Logic (NATO ASI Subseries F:, 165)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540645894_new
Quantité disponible : Plus de 20 disponibles