Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Langue : anglais

Edité par Springer, 2013

3319009656 / 9783319009650

Vendeur : Home-set, Mannheim, AllemagneHome-set

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 13 avril 2026

Livre broché

Etat: Neuf

EUR 66,86

EUR 49,90 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computer science and logic. Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger's successor as director of the Research Institute for Symbolic Computation. Sprache: Englisch Gewicht in Gramm: 308.…

N° de réf. du vendeur IB-392844

Titre
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Éditeur
Springer
Année de publication
2013
État de l'article
Neu
Reliure
Gebundene Ausgabe
Langue
anglais
ISBN à 10 chiffres
3319009656
ISBN à 13 chiffres
9783319009650
Poids de l'article
308 grammes

Home-set

Mannheim, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 13 avril 2026

Frais d'expédition de Allemagne vers Etats-Unis

Article10 à 12 jours ouvrés8 à 10 jours ouvrés
Premier articleEUR 49,90EUR 75,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque

Spécialité

Buch

Profil professionnel du vendeur

Home-set

Allemagne