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.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Mathematical Knowledge Management

Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Mathematical Knowledge Management Andrea Asperti
Libristo-code: 01559785
Uitgeverij Springer, Berlin, november 2003
This book constitutes the refereed proceedings of the Third International Conference on Mathematical... Volledige beschrijving
? points 125 b
51.53 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Historické radnice Čech, Moravy a Slezska 1. díl Zdeněk Fišera / Boek Gebonden (harde band)
common.buy 28.33 €
Heilende Pilze Fungorum Europa Vitali / Boek Gebonden (paperback)
common.buy 13.51 €
Jean Racine Sarah Peters / Boek Gebonden (paperback)
common.buy 16.13 €
Anrede in Organisationen des Gesundheitswesens Tina Eisenrauch / Boek Gebonden (paperback)
common.buy 38.22 €
SPACE MEGA MALBUCH - SPEZIAL EDITION - ENTDECKE DAS UNIVERSUM - FREMDE PLANETEN - ERKUNDE DEN WELTRAUM - UFO - Gabriele Andre / E-book Adobe ePub DRM
common.buy 10.98 €
Na naší škole nám záleží Martin Chvál / Boek Gebonden (paperback)
common.buy 13.61 €
Leben Auf Der Walze Wolfgang Kirchbach / Boek Gebonden (paperback)
common.buy 16.13 €
Schlangen Esther Neumann / Boek Blad
common.buy 4.02 €
Epitre A l'Humanite Et A La Patrie En Particulier, Sur Le Bon Ordre Et l'Idee de la Veritable Chevret-J / Boek Gebonden (paperback)
common.buy 12.70 €
L'ultimo ballo di Charlot Fabio Stassi / Boek Gebonden (paperback)
common.buy 26.01 €
Handbook of Literary Rhetoric: A Foundation for Literary Study Heinrich Lausberg / Boek Gebonden (harde band)
common.buy 242.87 €
Jahrbuch der Psychoanalyse / Band 47 Claudia Frank / Boek Gebonden (paperback)
common.buy 40.34 €
Discours Prononce, Le 14 Juin 1876, Au Senat Espagnol Sans Auteur / Boek Gebonden (paperback)
common.buy 15.52 €
Československo 38-89: Atentát collegium / Audio Audio dvd
common.buy 8.97 €

This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are mathematics retrieval, formalizing mathematics, formal mathematics, digital mathematical libraries, semantic Web, knowledge repositories, mathematical knowledge representation, theorem proving systems, OWL, proof verification, formal representation, mathematical formulae processing, and the OpenMath project.

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 Mathematical Knowledge Management
Auteur Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2004
Aantal pagina's 398
EAN 9783540230298
ISBN 3540230297
Libristo-code 01559785
Uitgeverij Springer, Berlin
Gewicht 640
Afmetingen 156 x 234 x 21

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 > Bedrijfsapplicaties > Wiskundige software, statistische software
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Databank programmeren
Informatica en informatietechnologie > Databanken > Opslag van gegevens
Informatica en informatietechnologie > Databanken > Informatieopslag en -naslag
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Wiskunde en wetenschap > Wiskunde
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

The Theory of Language Holography Guanlian Qian / Boek Gebonden (paperback)
common.buy 102.67 €
The Guardians of the Promise Dr Ron Lovell / Boek Gebonden (paperback)
common.buy 19.26 €
Great Grenfell Gardens. Bertha H Buxton / Boek Gebonden (paperback)
common.buy 20.67 €
The Life Of Whitelaw Reid: Journalism, War and Politics V1 Royal Cortissoz / Boek Gebonden (paperback)
common.buy 38.12 €
Unsanctioned E G Jones / Boek Gebonden (harde band)
common.buy 31.16 €
History of King Charles I of England Jacob Abbott / Boek Gebonden (harde band)
common.buy 30.65 €
Meg and Mog Show Jan Pienkowski / Boek Gebonden (paperback)
common.buy 17.44 €
Middle Atlantic Prehistory Heather A. Wholey / Boek Gebonden (harde band)
common.buy 140.39 €
California Birds: Their Status and Distribution Arnold Small / Boek Gebonden (harde band)
common.buy 35.39 €
Invitation, The Jerry Potter / Boek Gebonden (paperback)
common.buy 13.40 €
Mystery Babalon: The Bhaktic and Ecstatic Rites of Babalon Hagia Aureavia / Boek Gebonden (paperback)
common.buy 28.23 €
TOP
World of the Newport Medieval Ship Evan T. Jones / Boek Gebonden (paperback)
common.buy 35.39 €
Power Boxing Workout Secrets Sammy Franco / Boek Gebonden (paperback)
common.buy 13.20 €
Cosmological Fine-Tuning Arguments Waller / Boek Gebonden (harde band)
common.buy 187.80 €
Selected Poems Joseph Brodsky / Boek Gebonden (paperback)
common.buy 10.78 €
The Roman See In The Early Church; And Other Studies In Church History William Bright / Boek Gebonden (paperback)
common.buy 40.03 €
TOP
My Hero Academia, Vol. 35 Kohei Horikoshi / Boek Gebonden (paperback)
common.buy 8.66 €
A Master Mariner Mindset Smooth Sailing Mustafa Nejem / Boek Gebonden (paperback)
common.buy 15.52 €
Culture and Commerce of Texts Harold Love / Boek Gebonden (paperback)
common.buy 41.45 €
Lecture on the Study of History John Acton / Boek Gebonden (paperback)
common.buy 8.16 €
Mechanical Integration of Plant Cells and Plants Przemyslaw Wojtaszek / Boek Gebonden (harde band)
common.buy 153.91 €
Gender 2e Harriet Bradley / Boek Gebonden (paperback)
common.buy 31.36 €
How to Write Tibetan Calligraphy Sanje Elliot / Boek Gebonden (paperback)
common.buy 15.73 €
Development of the National Economy Vol 2 William J. Barber / Boek Gebonden (harde band)
common.buy 177.41 €

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?