.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Thirty Five Years of Automating Mathematics
Fairouz D. . Ed(S): Kamareddine
€ 134.25
FREE Delivery in Ireland
Description for Thirty Five Years of Automating Mathematics
hardcover. Consists of 11 articles which propose variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation. This book also includes an argumentation by Arnon Avron that for automated reasoning, there is an interesting logic, somewhere strictly between first and second order logic. Editor(s): Kamareddine, Fairouz D. Series: Applied Logic Series. Num Pages: 320 pages, biography. BIC Classification: UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 647.
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were numerous and extremely influential. His book on advanced asymptotic methods, North Holland 1958, was a classic and was subsequently turned into a book in the well known Dover book series. His work on combinatorics yielded influential notions and theorems of which we mention the de Bruijn-sequences of 1946 and the de ... Read more
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were numerous and extremely influential. His book on advanced asymptotic methods, North Holland 1958, was a classic and was subsequently turned into a book in the well known Dover book series. His work on combinatorics yielded influential notions and theorems of which we mention the de Bruijn-sequences of 1946 and the de ... Read more
Product Details
Format
Hardback
Publication date
2003
Publisher
Kluwer Academic Publishers United States
Number of pages
320
Condition
New
Series
Applied Logic Series
Number of Pages
320
Place of Publication
New York, NY, United States
ISBN
9781402016561
SKU
V9781402016561
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Thirty Five Years of Automating Mathematics