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...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
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...
booklooker.de BuchWeltWeit Inh. Ludwig Meier e.K. Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
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...
AbeBooks.de Book Depository hard to find, London, United Kingdom [63688905] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: EUR 6.97 Details... |
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...
BarnesandNoble.com new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
2010, ISBN: 9789048164400
Buch, Softcover, Softcover reprint of the original 1st ed. 2003, [PU: Springer], Springer, 2010
lehmanns.de Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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...
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...
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...
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...
2010, ISBN: 9789048164400
Buch, Softcover, Softcover reprint of the original 1st ed. 2003, [PU: Springer], Springer, 2010
Bibliografische gegevens van het best passende boek
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...