- 0 resultaten
laagste prijs: € 140,49, hoogste prijs: € 176,54, gemiddelde prijs: € 156,48
1
Thirty Five Years of Automating Mathematics - F.D. Kamareddine
bestellen
bij Indigo.ca
C$ 234,95
(ongeveer € 155,90)
bestellen
F.D. Kamareddine:

Thirty Five Years of Automating Mathematics - 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 a… Meer...

  - new Free shipping on orders above $25. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
2
Thirty Five Years of Automating Mathematics - F.D. Kamareddine
bestellen
bij Springer.com
€ 149,79
bestellen

F.D. Kamareddine:

Thirty Five Years of Automating Mathematics - pocketboek

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

  - new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
3
Thirty Five Years of Automating Mathematics
bestellen
bij Indigo.ca
C$ 234,95
(ongeveer € 159,70)
bestellen
Thirty Five Years of Automating Mathematics - 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
Betaalde advertentie
4
Thirty Five Years of Automating Mathematics - F.D. Kamareddine
bestellen
bij Springer.com
€ 176,54
bestellen
F.D. Kamareddine:
Thirty Five Years of Automating Mathematics - nieuw boek

ISBN: 9789048164400

Mathematics; Mathematical Logic and Foundations; Mathematics of Computing; Optimization; Symbolic and Algebraic Manipulation Mathematica, Principia Mathematica, calculus, computer, linear… Meer...

  - Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
5
Thirty Five Years of Automating Mathematics
bestellen
bij eBook.de
€ 140,49
verzending: € 0,00
bestellen
Thirty Five Years of Automating Mathematics - nieuw boek

2003, ISBN: 9048164400

Thirty Five Years of Automating Mathematics ab 140.49 EURO Applied Logic Series. Auflage 2003 Medien > Bücher

  - Nr. Verzendingskosten:, , DE. (EUR 0.00)

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-Verlag GmbH
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 2020-08-06T23:28:54+02:00 (Amsterdam)
ISBN/EAN: 9789048164400

ISBN - alternatieve schrijfwijzen:
90-481-6440-0, 978-90-481-6440-0


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