Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Mathematical Knowledge Management

Name: Mathematical Knowledge Management
Brand: Springer, Berlin
SKU: 01559785
Price: 262.48 PLN
Availability: InStock

Andrea Asperti

Grzegorz Bancerek

Andrzej Trybulec

Język

Angielski

Książka Miękka

Kod Libristo: 01559785

Wydawnictwo Springer, Berlin, listopad 2003

This book constitutes the refereed proceedings of the Third International Conference on Mathematical... Cały opis

Kod Libristo: 01559785

154 b

262.48 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

common.delivery_to

30 dni na zwrot towaru

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.

Informacje o książce

Pełna nazwa Mathematical Knowledge Management

Autor Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2004

Liczba stron 398

EAN 9783540230298

ISBN 3540230297

Kod Libristo 01559785

Wydawnictwo Springer, Berlin

Waga 640

Wymiary 156 x 234 x 21

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka

Informatyka i technologie informacyjne (IT) > Komputery i IT: przewodniki dla konsumentów i użytkowników > Poradniki internetowe i usługi online > Przeszukiwanie Internetu

Informatyka i technologie informacyjne (IT) > Aplikacje biznesowe > Oprogramowanie matematyczne i statystyczne

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Programowanie baz danych

Informatyka i technologie informacyjne (IT) > Bazy danych > Hurtownie danych

Informatyka i technologie informacyjne (IT) > Bazy danych > Wyszukiwanie informacji

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja

Matematyka i nauki ścisłe > Matematyka

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Dostawa

Doradca ds. zakupów

Mathematical Knowledge Management

Informacje o książce

Kategoria

Podaruj tę książkę jeszcze dziś

To łatwe

Jesteśmy u siebie w całej Europie

Mathematical Knowledge Management

Informacje o książce

Kategoria

Podaruj tę książkę jeszcze dziś

To łatwe

Nie masz konta? Zyskaj korzyści konta Libristo!