Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Intelligent Computer Mathematics

16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Intelligent Computer Mathematics Lucas Dixon
Libristo-code: 01650011
Uitgeverij Springer, Berlin, mei 2009
This book constitutes the joint refereed proceedings of the 16th Symposium on the Integration of Sym... Volledige beschrijving
? points 125 b
51.73 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Médecine foetale et néonatale Joseph Haddad / Boek Gebonden (paperback)
common.buy 199.58 €
LA TEORÍA DE LAS BARRAS X EN LAS CONFIGURACIONES DE REICHENBACH / Boek Gebonden (paperback)
common.buy 39.28 €
Der Geschmacksthesaurus (Band 2) - noch mehr Aromen Niki Segnit / Boek Gebonden (harde band)
common.buy 30.47 €
Classic Metamorphosis Alpha - Sammlerausgabe Taylor Robert / Boek Gebonden (paperback)
common.buy 57.20 €
Tema a tema - Curso de conversacion Anna Turza Ferré / Boek Gebonden (paperback)
common.buy 24.19 €
DENKRIESEN - STADT LAND VOLLPFOSTEN® - Levels - CHRISTMAS EDITION - "Alle Jahre wieder." Ricardo Barreto / Spel/speelgoed Spel
common.buy 14.88 €
La dimensión propagandística del terrorismo yihadista global Torres Soriano / Boek Gebonden (paperback)
common.buy 16.50 €
Cenizas y misterio ALEJANDRO DUQUE AMUSCO / Boek Gebonden (paperback)
common.buy 21.25 €
Dhuoda, belle-fille de saint Guilhem, et autres femmes d'exception au Moyen Âge Gravel et al. / Boek Gebonden (paperback)
common.buy 22.98 €
Vyškrabávací obrázky - Jednorožec 16,5 x 21 cm (2 ks) / Schrijfwaren Schrijfwaren
common.buy 2.52 €
Sans Mots François Girard / Boek Gebonden (paperback)
common.buy 17.91 €
El círculo de los infieles Alberto Garrido / Boek Gebonden (paperback)
common.buy 17.81 €
Kaputt Destroyer / Audio Audio cd
common.buy 18.93 €
Nella notte blu. Con un ditino Gabriele Clima / Boek Leporello (harmonicaboek)
common.buy 15.08 €
Razones para la rebeldía GUILLERMO TOLEDO / Boek Gebonden (paperback)
common.buy 10.82 €
Malbuch Rom und die Römer Nuesret Kaymak / Boek Gebonden (paperback)
common.buy 7.48 €
Historische Syntax des Deutschen Jürg Fleischer / Boek Gebonden (paperback)
common.buy 29.15 €
Stuck Herman Bang / Boek Gebonden (harde band)
common.buy 19.94 €
Netzwerkanalyse Und Netzwerktheorie Christian Stegbauer / Boek Gebonden (paperback)
common.buy 70.77 €

This book constitutes the joint refereed proceedings of the 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2009 and the 8th International Conference on Mathematical Knowledge Management, MKM 2009, held in Grand Bend, Canada, as CICM 2009, the Conferences on Intelligent Computer Mathematics.§The 10 revised full papers and 4 invited talks for Calculemus 2009 and 16 revised full papers and 6 short communications for MKM 2009 presented together with 4 joint invited talks were carefully reviewed and selected from a total of 51 submissions. The papers of Calculemus 2009 cover all aspects of the interplay of mechanized reasoning and computer algebra, as well as the development of integrated systems that transcend both computer algebra and theorem proving. The focus of MKM 2009 lies at the intersection of mathematics and computer science with the goal of developing effective techniques, based on formal mathematics and software technology. The realm of mathematical information is an attractive candidate for testing innovative theoretical and technological solutions for content-based systems, interoperability, management of machine understandable information, and the semantic Web.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Intelligent Computer Mathematics
Auteur Lucas Dixon, Jacques Carette, Claudio Sacerdoti Coen, Stephen Watt
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2009
Aantal pagina's 493
EAN 9783642026133
ISBN 3642026133
Libristo-code 01650011
Uitgeverij Springer, Berlin
Gewicht 774
Afmetingen 155 x 235 x 28

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Digitale levensstijl en online wereld: gebruikersgidsen > Internetgidsen en online diensten > Internetzoeken
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Databanken > Gegevensanalyse
Informatica en informatietechnologie > Databanken > Informatieopslag en -naslag
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Boys' Grammar School H. Davies / Boek Gebonden (paperback)
common.buy 49.20 €
City Lady Thomas Dilke / Boek Gebonden (paperback)
common.buy 14.17 €
Emotions Etrec J White / Boek Gebonden (paperback)
common.buy 9.91 €
Behind Closed Doors Gloria F Jackson / Boek Gebonden (paperback)
common.buy 18.32 €
Married Under the Influence Harmony Rose / Boek Gebonden (paperback)
common.buy 22.37 €
Mom 3MD Rose a Hunt / Boek Gebonden (harde band)
common.buy 24.60 €
TOP
Star Wars: 100 Collectible Comic Book Cover Postcards LUCASFILM LTD / Drukwerk Speelkaarten
common.buy 19.43 €
Architecture & Construction Diane Lindsey Reeves / Boek Gebonden (harde band)
common.buy 30.37 €
HIST OF CHEMISTRY Francis P. Venable / Boek Gebonden (harde band)
common.buy 31.68 €
Thirty-Five Oriental Philosophers Robert Wilkinson / Boek Gebonden (harde band)
common.buy 61.76 €
Rape of an American Family: 4 Generation Family Predator Brooks W Wilson / Boek Gebonden (paperback)
common.buy 9.41 €
Lovely Colors & Beautiful Patterns: Detailed Designs Adult Coloring Book Lilt Kids Coloring Books / Boek Gebonden (paperback)
common.buy 8.50 €
The Bouquet Race VI: "no Hitting" Noble Lee Lester / Boek Gebonden (paperback)
common.buy 10.32 €
Results Frank Natale / Boek Gebonden (paperback)
common.buy 17.51 €
Python For ArcGIS Laura Tateosian / Boek Gebonden (paperback)
common.buy 85.76 €
Endymion John Keats / Boek Gebonden (harde band)
common.buy 32.60 €
Understanding and Responding to Child Sexual Exploitation Helen Beckett / Boek Gebonden (harde band)
common.buy 216.29 €
Ultimate Guide to Journaling Hannah Braime / Boek Gebonden (paperback)
common.buy 12.75 €
Egypt's Great Pyramid Of Knowledge James / Boek Gebonden (paperback)
common.buy 18.82 €
Grazing On The Public Lands: Extracts From The Report Of The Public Lands Commission (1905) U S Dept of Agriculture / Boek Gebonden (harde band)
common.buy 34.52 €
English Language in the Digital Age Georg Rehm / Boek Gebonden (paperback)
common.buy 50.62 €
Desk Reference to the Diagnostic Criteria From DSM-5-TR (TM) American Psychiatric Association / Boek Ringband
common.buy 75.94 €
Going Solo Genevieve Roberts / Boek Gebonden (paperback)
common.buy 16.09 €
Introduction to Islam Dr Ali Alsamail / Boek Gebonden (paperback)
common.buy 14.27 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?