- 5 resultaten
laagste prijs: € 109,99, hoogste prijs: € 185,67, gemiddelde prijs: € 153,90
1
bestellen
bij Indigo.ca
C$ 250,50
(ongeveer € 185,67)
bestellenGesponsorde link

Thirty Five Years of Automating Mathematics by F.D. Kamareddine Paperback | Indigo Chapters - nieuw boek

ISBN: 9789048164400

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 t… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
2
Thirty Five Years of Automating Mathematics - F. D. Kamareddine
bestellen
bij booklooker.de
€ 152,96
verzending: € 0,001
bestellenGesponsorde link

F. D. Kamareddine:

Thirty Five Years of Automating Mathematics - pocketboek

2022, ISBN: 9789048164400

[ED: Taschenbuch], [PU: Springer Netherlands], Neuware - THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established … Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K.
3
bestellen
bij AbeBooks.de
€ 160,37
verzending: € 6,971
bestellenGesponsorde link
Thirty Five Years of Automating Mathematics (Paperback) - pocketboek

2010

ISBN: 9048164400

[EAN: 9789048164400], Neubuch, [PU: Springer, Netherlands], Language: English. Brand new Book. THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N… Meer...

NEW BOOK. Verzendingskosten: EUR 6.97 Book Depository hard to find, London, United Kingdom [63688905] [Rating: 5 (von 5)]
4
Thirty Five Years of Automating Mathematics F.D. Kamareddine Editor
bestellen
bij BarnesandNoble.com
€ 109,99
bestellenGesponsorde link
Thirty Five Years of Automating Mathematics F.D. Kamareddine Editor - nieuw boek

ISBN: 9789048164400

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 4… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
5
Thirty Five Years of Automating Mathematics - F.D. Kamareddine
bestellen
bij lehmanns.de
€ 160,49
verzending: € 0,001
bestellenGesponsorde link
F.D. Kamareddine:
Thirty Five Years of Automating Mathematics - pocketboek

2010, ISBN: 9789048164400

Buch, Softcover, Softcover reprint of the original 1st ed. 2003, [PU: Springer], Springer, 2010

Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00)

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Thirty Five Years of Automating Mathematics F.D. Kamareddine Editor

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.

Gedetalleerde informatie over het boek. - Thirty Five Years of Automating Mathematics F.D. Kamareddine Editor


EAN (ISBN-13): 9789048164400
ISBN (ISBN-10): 9048164400
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Netherlands Core >1 >T
332 Bladzijden
Gewicht: 0,530 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-10-01T13:40:16+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-02-14T17:55:32+01:00 (Amsterdam)
ISBN/EAN: 9789048164400

ISBN - alternatieve schrijfwijzen:
90-481-6440-0, 978-90-481-6440-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Titel van het boek: thirty years applied, five years, mathematics


Gegevens van de uitgever

Auteur: F.D. Kamareddine
Titel: Applied Logic Series; Thirty Five Years of Automating Mathematics
Uitgeverij: Springer; Springer Netherland
320 Bladzijden
Verschijningsjaar: 2010-10-22
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
IX, 320 p.

BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Mathematica; Principia Mathematica; calculus; computer; linear optimization; logic; proof; set theory; type theory; verification; Mathematical Logic and Foundations; Mathematics of Computing; Optimization; Symbolic and Algebraic Manipulation; Mathematische Grundlagen; Mathematik für Informatiker; Optimierung; BB

A Mathematical Model for Biological Memory and Consciousness.- Towards an Interactive Mathematical Proof Mode.- Recent Results in Type Theory and their Relationship to Automath.- Linear Contexts, Sharing Functors: Techniques for Symbolic Computation.- De Bruijn’s Automath and Pure Type Systems.- Hoare Logic with Explicit Contexts.- Transitive Closure and the Mechanization of Mathematics.- Polymorphic Type-checking for the Ramified Theory of Types of Principia Mathematica.- Termination in ACL2 using Multiset Relations.- The ?-Calculus in FM.- Proof Development with ?mega: The Irrationality of % MathType!MTEF!2!1!+- % feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaOaaaeaaca % aIYaaaleqaaaaa!36CB!]]

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789401702539 Thirty Five Years of Automating Mathematics (F.D. Kamareddine)


< naar Archief...