ISBN: 9789401702539
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...
hive.co.uk No. 9789401702539. Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., exclusief verzendingskosten Details... |
2013, ISBN: 9789401702539
eBooks, eBook Download (PDF), 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 decidi… Meer...
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 0.00) Details... |
ISBN: 9789401702539
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...
ebooks.com new in stock. Verzendingskosten:más costos de envío., exclusief verzendingskosten Details... |
ISBN: 9789401702539
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...
Springer.com Nr. 978-94-017-0253-9. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
2013, ISBN: 9789401702539
eBook Download (PDF), eBooks, [PU: Springer Netherlands]
lehmanns.de Verzendingskosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9789401702539
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...
2013, ISBN: 9789401702539
eBooks, eBook Download (PDF), 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 decidi… Meer...
ISBN: 9789401702539
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...
ISBN: 9789401702539
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...
2013, ISBN: 9789401702539
eBook Download (PDF), eBooks, [PU: Springer Netherlands]
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Thirty Five Years of Automating Mathematics
EAN (ISBN-13): 9789401702539
Verschijningsjaar: 2013
Uitgever: Springer Netherlands
Boek bevindt zich in het datenbestand sinds 2016-01-07T22:14:13+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-02-14T17:55:27+01:00 (Amsterdam)
ISBN/EAN: 9789401702539
ISBN - alternatieve schrijfwijzen:
978-94-017-0253-9
alternatieve schrijfwijzen en verwante zoekwoorden:
Titel van het boek: five years, auto year
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: 2013-04-17
Dordrecht; NL
Taal: Engels
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
IX, 320 p.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Mathematica; Principia Mathematica; calculus; computer; linear optimization; logic; proof; set theory; type theory; verification; C; Mathematical Logic and Foundations; Mathematics of Computing; Optimization; Symbolic and Algebraic Manipulation; Mathematics and Statistics; 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:
9789048164400 Thirty Five Years of Automating Mathematics F.D. Kamareddine Editor (F.D. Kamareddine)
< naar Archief...