J. Richard Buchi 
Collected Works of J. Richard Buchi [PDF ebook] 

الدعم
J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier "theoretical, " because he more or less identified science and theory, using "theory" in a broader sense and "science" in a narrower sense than usual.) We are happy to present here this collection of his papers. I (DS)1 worked with Biichi for many years, on and off, ever since I did my Ph.D. thesis on his Sequential Calculus. His way was to travel locally, not globally: When we met we would try some specific problem, but rarely dis- cussed research we had done or might do. After he died in April 1984 I sifted through the manuscripts and notes left behind and was dumbfounded to see what areas he had been in. Essentially I knew about his work in finite au- tomata, monadic second-order theories, and computability. But here were at least four layers on his writing desk, and evidently he had been working on them all in parallel. I am sure that many people who knew Biichi would tell an analogous story.
€57.15
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● ISBN 9781461389286 ● محرر Saunders Mac Lane & Dirk Siefkes ● الناشر Springer New York ● نشرت 2012 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 4679580 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

16٬523 كتب إلكترونية في هذه الفئة