Electronic Resource

Mathematics, computer science and logic - a never ending story

---

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.

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

E716

Penerbit

Swiss : Springer Cham., 2013

Deskripsi Fisik

vii, 113 hlm.

Bahasa

English

ISBN/ISSN

9783319009667

Klasifikasi

NONE

Tipe Isi

text

Tipe Media

computer

Tipe Pembawa

online resource

Edisi

Ed.1

Subjek

Matematika
Algoritma

Info Detail Spesifik

-

Pernyataan Tanggungjawab

Peter Paule

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar