[email protected] Răspundem în 24 de ore

[email protected]

Transport gratuit la punctele de livrare Pick Up peste 299.00 lei

Packeta 15.00 lei Cargus 25.00 lei FAN 25.00 lei Easybox 20.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Mathematical Knowledge Management

Name: Mathematical Knowledge Management
Brand: Springer, Berlin
SKU: 01559785
Price: 305.45 RON
Availability: InStock

Andrea Asperti

Grzegorz Bancerek

Andrzej Trybulec

Limba

engleză

Carte Carte broșată

Codul Libristo: 01559785

Editura Springer, Berlin, noiembrie 2003

This book constitutes the refereed proceedings of the Third International Conference on Mathematical... Descrierea completă

Codul Libristo: 01559785

154 b

305.45 lei

În depozitul extern în cantități mici Expediem în 13-16 zile

30 de zile pentru retur bunuri

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.

Informații despre carte

Titlu complet Mathematical Knowledge Management

Autor Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Limba

engleză

Legare Carte - Carte broșată

Data publicării 2004

Număr pagini 398

EAN 9783540230298

ISBN 3540230297

Codul Libristo 01559785

Editura Springer, Berlin

Greutatea 640

Dimensiuni 156 x 234 x 21

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Digital lifestyle > Internet guides & online services > Internet searching

Computing & Information Technology > Business applications > Mathematical & statistical software

Computing & Information Technology > Computer hardware > Network hardware

Computing & Information Technology > Computer programming / software engineering > Database programming

Computing & Information Technology > Databases > Data warehousing

Computing & Information Technology > Databases > Information retrieval

Computing & Information Technology > Computer science > Artificial intelligence

Mathematics & Science > Mathematics

Dăruiește această carte chiar astăzi

Este foarte ușor

1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Livrare

Consilier de cumpărături

Mathematical Knowledge Management

Informații despre carte

Categorii

Dăruiește această carte chiar astăzi

Este foarte ușor

Mathematical Knowledge Management

Informații despre carte

Categorii

Dăruiește această carte chiar astăzi

Este foarte ușor

Nu ai un cont? Beneficii cu contul Libristo!