Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Mathematical Knowledge Management

Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

Lingua IngleseInglese
Libro In brossura
Libro Mathematical Knowledge Management Andrea Asperti
Codice Libristo: 01556183
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febbraio 2003
This book constitutes the refereed proceedings of the Second International Conference on Mathematica... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Tokyo Decadence / Video DVD
common.buy 16.49 €
Du spürst unter deinen Füßen das Gras Else Müller / Libro In brossura
common.buy 14.19 €
Moja zla Prijateljica Ivana Leleković Car / Libro In brossura
common.buy 16.49 €
Main Tera Boyfriend Tu Meri Girlfriend Gourav Kumar / Libro elettronico Adobe ePub DRM
common.buy 1.29 €
Le parfum de l'avenir GIORDANO / Libro In brossura
common.buy 16.39 €
Laberinto de Utopia Eugenio Garbuno Avi / Libro In brossura
common.buy 65.19 €
Dynamické reklamy David Bauckmann / Libro In brossura
common.buy 7.49 €
Frío como el acero DAVID BALDACCI / Libro In brossura
common.buy 21.79 €
Die Leibstandarte im Bild Rudolf Lehmann / Libro Rigido
common.buy 39.89 €
verfassungsgerichtliche Normenkontrolle im internationalen Vergleich Paul Gragl / Libro In brossura
common.buy 16.89 €
Zur Bedeutung der finanziellen Infrastruktur in Entwicklungsländern. Bernhard Wolf / Libro In brossura
common.buy 49.19 €

This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003.§The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Mathematical Knowledge Management
Autore Andrea Asperti, Bruno Buchberger, James Harold Davenport
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2003
Numero di pagine 230
EAN 9783540005681
ISBN 3540005684
Codice Libristo 01556183
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 760
Dimensioni 155 x 235 x 14

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Calcolo e analisi matematica > Analisi numerica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza
Matematica e Scienze > Matematica > Matematica discreta
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Programmazione di database
Informatica e Tecnologia dell’Informazione > Database > Data warehousing
Informatica e Tecnologia dell’Informazione > Database > Recupero delle informazioni
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Analysis and Numerics for Conservation Laws G. Warnecke / Libro Rigido
common.buy 113.19 €
Finding Fraser K. C. Dyer / Libro In brossura
common.buy 13.89 €
Information Systems for Urban Planning Robert Laurini / Libro In brossura
common.buy 81.39 €
Rhetorical Nature of XML Rudy McDaniel / Libro In brossura
common.buy 37.99 €
George Facer's Edexcel A Level Chemistry Student Book 1 George Facer / Libro In brossura
common.buy 59.09 €
11-Step Formula to Bridge the Gap Between Parents and Teenagers Ana H B Weber / Libro In brossura
common.buy 11.19 €
I Search My Mind for Answers Matt McCallister / Libro Rigido
common.buy 18.89 €
Rational Number Theory in the 20th Century Wladyslaw Narkiewicz / Libro Rigido
common.buy 139.39 €
Nautical Gazetteer; Or, Dictionary of Maritime Geography, Etc. Anonymous / Libro In brossura
common.buy 22.59 €
From Palm Beach to Northwestern U. Norma Gatje-Smith / Libro In brossura
common.buy 12.79 €
Cognitive Neuropsychology of Schizophrenia (Classic Edition) Christopher Donald Frith / Libro In brossura
common.buy 77.69 €
Great Thinkers of the Kazakh Steppe Yerkebulan Dzhelbuldin Dana Jeteyeva / Libro In brossura
common.buy 17.09 €
The Outcry (1911) Henry James / Libro In brossura
common.buy 22.09 €
Face the Music Jacie Floyd / Libro In brossura
common.buy 10.69 €
Reviews on Biomarker Studies of Metabolic and Metabolism-Related Disorders Paul C. Guest / Libro Rigido
common.buy 160.89 €
Companion to Greek Literature MARTIN HOSE / Libro In brossura
common.buy 57.19 €
I migliori
My Hero Academia: Vigilantes, Vol. 9 Kohei Horikoshi / Libro In brossura
common.buy 8.89 €
Safety Risk Management for Medical Devices Bijan Elahi / Libro elettronico Adobe ePub DRM
common.buy 143.19 €
Hopeless Aromantic: An Affirmative Guide to Aromanticism Samantha Rendle / Libro In brossura
common.buy 21.89 €
Loser Jerry Spinelli / Libro In brossura
common.buy 13.59 €
Letting Go Dave Harvey / Libro In brossura
common.buy 22.09 €
Prevention And Crisis Management: Lessons For Asia From The 2008 Crisis Steven Rosefielde / Libro Rigido
common.buy 109.69 €
Golden Age of Air Travel Nina Hadaway / Libro In brossura
common.buy 10.29 €
Gold Brocade and Renaissance Painting Rembrandt Duits / Libro Rigido
common.buy 217.09 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?