Frete Grátis
  • Google Plus

Mathematical Knowledge Management (Cód: 7085900)

Andrea Asperti; Bruno Buchberger; James Harold Davenport

SPRINGER VERLAG POD

Ooopss! Este produto está temporariamente indisponível.
Mas não se preocupe, nós avisamos quando ele chegar.

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 463,70 em até 10x de R$ 46,37 sem juros
Cartão Saraiva R$ 440,52 (-5%) em até 1x no cartão ou em até 12x de R$ 38,64 sem juros
Grátis

Cartão Saraiva

Descrição

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.

Características

Produto sob encomenda Sim
Marca SPRINGER VERLAG POD
Cód. Barras 9783540005681
Altura 23.40 cm
I.S.B.N. 9783540005681
Profundidade 1.00 cm
Referência 9783540005681
Ano da edição 2003
Idioma Inglês
Número de Páginas 240
Peso 0.34 Kg
Largura 15.60 cm
AutorAndrea Asperti; Bruno Buchberger; James Harold Davenport

Avaliações

Avaliação geral: 0

Você está revisando: Mathematical Knowledge Management