Menu
Află starea comenzii
Contactați-ne
Carte Mathematical Knowledge Management Andrea Asperti

Mathematical Knowledge Management

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

Autor: Andrea Asperti, Bruno Buchberger, James Harold Davenport
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.38 lei
This book constitutes the refereed proceedings of the Second International Conference on Mathematica...

Informații despre carte

Autor
Andrea Asperti, Bruno Buchberger, James Harold Davenport
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2003
Pagini
230
EAN
9783540005681
ISBN
3540005684
Enbook ID
01556183
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
760
Dimensiuni
155 x 235 x 14

Descriere completă

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.

S-ar putea să te intereseze

Analysis and Numerics for Conservation Laws

G. Warnecke
583.60 lei

Finding Fraser

K. C. Dyer
71.59 lei

Information Systems for Urban Planning

Robert Laurini
419.67 lei

Rhetorical Nature of XML

Rudy McDaniel
196.08 lei

George Facer's Edexcel A Level Chemistry Student Book 1

George Facer
304.49 lei

11-Step Formula to Bridge the Gap Between Parents and Teenagers

Ana H B Weber
57.53 lei

I Search My Mind for Answers

Matt McCallister
97.27 lei

Rational Number Theory in the 20th Century

Wladyslaw Narkiewicz
718.50 lei

Nautical Gazetteer; Or, Dictionary of Maritime Geography, Etc.

Anonymous
116.49 lei

From Palm Beach to Northwestern U.

Norma Gatje-Smith
65.92 lei

Cognitive Neuropsychology of Schizophrenia (Classic Edition)

Christopher Donald Frith
400.35 lei

Great Thinkers of the Kazakh Steppe

Yerkebulan Dzhelbuldin Dana Jeteyeva
88.27 lei

The Outcry (1911)

Henry James
113.76 lei

Face the Music

Jacie Floyd
55.41 lei

Reviews on Biomarker Studies of Metabolic and Metabolism-Related Disorders

Paul C. Guest
829.14 lei

Companion to Greek Literature

MARTIN HOSE
294.57 lei

My Hero Academia: Vigilantes, Vol. 9

Kohei Horikoshi
45.70 lei

Safety Risk Management for Medical Devices

Bijan Elahi
707.58 lei

Hopeless Aromantic: An Affirmative Guide to Aromanticism

Samantha Rendle
112.64 lei

Loser

Jerry Spinelli
62.29 lei

Letting Go

Dave Harvey
114.16 lei

Prevention And Crisis Management: Lessons For Asia From The 2008 Crisis

Steven Rosefielde
565.70 lei

Golden Age of Air Travel

Nina Hadaway
53.28 lei

Gold Brocade and Renaissance Painting

Rembrandt Duits
1 118.86 lei

Clienții care au cumpărat această carte au mai cumpărat și

Tokyo Decadence

84.83 lei

Du spürst unter deinen Füßen das Gras

Else Müller
73.31 lei

Moja zla Prijateljica

Ivana Leleković Car
85.24 lei

Main Tera Boyfriend Tu Meri Girlfriend

Gourav Kumar
6.26 lei

Le parfum de l'avenir

GIORDANO
81.09 lei

Laberinto de Utopia

Eugenio Garbuno Avi
336.14 lei

Dynamické reklamy

David Bauckmann
36.40 lei

Frío como el acero

DAVID BALDACCI
112.24 lei

Die Leibstandarte im Bild

Rudolf Lehmann
194.76 lei

verfassungsgerichtliche Normenkontrolle im internationalen Vergleich

Paul Gragl
87.16 lei

Zur Bedeutung der finanziellen Infrastruktur in Entwicklungsländern.

Bernhard Wolf
253.52 lei