Skip to main content

CURRENTLY SOLD OUT

Thirty Five Years of Automating Mathematics by F.D. Kamareddine (Paperback, 2010)

About this product

About this product

Product Information

This volume is a collection of papers with a personal flavour. It consists of 11 articles which propose interesting variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation in the past 35 years. The volume further includes a strong argumentation by Arnon Avron that for automated reasoning, there is an interesting logic, somewhere strictly between first and second order logic, determined essentially by an analysis of transitive closure, yielding induction; and Murdoch Gabbay presenting an interesting generalisation of Fraenkel-Mostowski (FM) set theory within higher-order logic, and applying it to model Milner's p calculus.

Product Identifiers

Publisher
Springer
ISBN-13
9789048164400
eBay Product ID (ePID)
106632341

Product Key Features

Author
F.D. Kamareddine
Publication Name
Thirty Five Years of Automating Mathematics
Format
Paperback
Language
English
Subject
Computer Science, Mathematics
Publication Year
2010
Type
Textbook
Number of Pages
320 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
28
Item Weight
530g

Additional Product Features

Series Title
Applied Logic Series
Country/Region of Manufacture
Netherlands
Editor
F.D. Kamareddine

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Maps of Meaning: The Architecture of Belief by Jordan B. Peterson (1999, Paperback)
5.0 out of 5 stars based on 10 product ratings
AU $30.50 New
---- Used
Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
Aradale: The Making of a Haunted Asylum by Nathaniel Buchanan, David Waldron, Sharn Waldron (Paperback, 2020)
No ratings or reviews yet.
AU $37.32 New
---- Used
Silent Spring by Rachel Carson (Paperback, 2000)
4.3 out of 5 stars based on 3 product ratings
AU $24.95 New
---- Used
Understanding and Treating Chronic Shame: Healing Right Brain Relational Trauma by Patricia A. DeYoung (Paperback, 2021)
No ratings or reviews yet.
AU $68.81 New
---- Used
Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard
AU $31.98
Trending at AU $35.48
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $121.82
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.54
George Hrabovsky Leonard Susskind Classical Mechanics (Paperback)
AU $27.49
Trending at AU $31.51
Robert A. Monroe Journeys Out of the Body (Paperback) Journeys Trilogy
AU $32.42
Trending at AU $37.19
Tuning the A-Series Engine: the Definitive Manual on tuning for Performance or E
AU $95.34
Trending at AU $100.97

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like