- 5 resultaten
laagste prijs: € 106,99, hoogste prijs: € 160,49, gemiddelde prijs: € 138,16
1
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.
2
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)]
3
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
4
Thirty Five Years of Automating Mathematics
bestellen
bij Hugendubel.de
€ 106,99
verzending: € 0,001
bestellenGesponsorde link
Thirty Five Years of Automating Mathematics - nieuw boek

2003, ISBN: 9789048164400

*Thirty Five Years of Automating Mathematics* - Auflage 2003 / Taschenbuch für 106.99 € / Aus dem Bereich: Bücher, Wissenschaft, Mathematik Medien > Bücher, Springer Netherlands

Verzendingskosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
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

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


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

Boek bevindt zich in het datenbestand sinds 2011-10-01T13:40:16+02:00 (Amsterdam)
Boek voor het laatst gevonden op 2024-05-20T10:00:30+02: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


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...