Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Mathematical Knowledge Management

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

Język AngielskiAngielski
Książka Miękka
Książka Mathematical Knowledge Management Andrea Asperti
Kod Libristo: 01556183
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luty 2003
This book constitutes the refereed proceedings of the Second International Conference on Mathematica... Cały opis
? points 125 b
219.49 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Tokyo Decadence / Wideo DVD
common.buy 67.09 zł
Du spürst unter deinen Füßen das Gras Else Müller / Książka Miękka
common.buy 57.63 zł
Moja zla Prijateljica Ivana Leleković Car / Książka Miękka
common.buy 67.79 zł
Main Tera Boyfriend Tu Meri Girlfriend Gourav Kumar / E-book Adobe ePub DRM
common.buy 5.22 zł
Le parfum de l'avenir GIORDANO / Książka Miękka
common.buy 67.59 zł
Laberinto de Utopia Eugenio Garbuno Avi / Książka Miękka
common.buy 264.56 zł
Dynamické reklamy David Bauckmann / Książka Miękka
common.buy 30.37 zł
Frío como el acero DAVID BALDACCI / Książka Miękka
common.buy 93.55 zł
Die Leibstandarte im Bild Rudolf Lehmann / Książka Twarda
common.buy 162.45 zł
verfassungsgerichtliche Normenkontrolle im internationalen Vergleich Paul Gragl / Książka Miękka
common.buy 68.80 zł
Zur Bedeutung der finanziellen Infrastruktur in Entwicklungsländern. Bernhard Wolf / Książka Miękka
common.buy 200.18 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Mathematical Knowledge Management
Autor Andrea Asperti, Bruno Buchberger, James Harold Davenport
Język Angielski
Oprawa Książka - Miękka
Data wydania 2003
Liczba stron 230
EAN 9783540005681
ISBN 3540005684
Kod Libristo 01556183
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 760
Wymiary 155 x 235 x 14

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Rachunek różniczkowy i całkowy, analiza matematyczna > Analiza numeryczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Matematyka i nauki ścisłe > Matematyka > Matematyka dyskretna
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
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

Mogłoby Cię także zainteresować

Analysis and Numerics for Conservation Laws G. Warnecke / Książka Twarda
common.buy 486.58 zł
Finding Fraser K. C. Dyer / Książka Miękka
common.buy 59.64 zł
Information Systems for Urban Planning Robert Laurini / Książka Miękka
common.buy 334.17 zł
Rhetorical Nature of XML Rudy McDaniel / Książka Miękka
common.buy 155.71 zł
George Facer's Edexcel A Level Chemistry Student Book 1 George Facer / Książka Miękka
common.buy 243.03 zł
11-Step Formula to Bridge the Gap Between Parents and Teenagers Ana H B Weber / Książka Miękka
common.buy 45.16 zł
I Search My Mind for Answers Matt McCallister / Książka Twarda
common.buy 76.24 zł
Rational Number Theory in the 20th Century Wladyslaw Narkiewicz / Książka Twarda
common.buy 568.36 zł
Nautical Gazetteer; Or, Dictionary of Maritime Geography, Etc. Anonymous / Książka Miękka
common.buy 91.33 zł
From Palm Beach to Northwestern U. Norma Gatje-Smith / Książka Miękka
common.buy 52.50 zł
Cognitive Neuropsychology of Schizophrenia (Classic Edition) Christopher Donald Frith / Książka Miękka
common.buy 319.59 zł
Great Thinkers of the Kazakh Steppe Yerkebulan Dzhelbuldin Dana Jeteyeva / Książka Miękka
common.buy 70.41 zł
The Outcry (1911) Henry James / Książka Miękka
common.buy 90.43 zł
Face the Music Jacie Floyd / Książka Miękka
common.buy 43.85 zł
Reviews on Biomarker Studies of Metabolic and Metabolism-Related Disorders Paul C. Guest / Książka Twarda
common.buy 655.68 zł
Companion to Greek Literature MARTIN HOSE / Książka Miękka
common.buy 245.45 zł
TOP
My Hero Academia: Vigilantes, Vol. 9 Kohei Horikoshi / Książka Miękka
common.buy 35.80 zł
Safety Risk Management for Medical Devices Bijan Elahi / E-book Adobe ePub DRM
common.buy 589.99 zł
Hopeless Aromantic: An Affirmative Guide to Aromanticism Samantha Rendle / Książka Miękka
common.buy 89.32 zł
Loser Jerry Spinelli / Książka Miękka
common.buy 48.78 zł
Letting Go Dave Harvey / Książka Miękka
common.buy 89.92 zł
Prevention And Crisis Management: Lessons For Asia From The 2008 Crisis Steven Rosefielde / Książka Twarda
common.buy 451.27 zł
Golden Age of Air Travel Nina Hadaway / Książka Miękka
common.buy 41.94 zł
Gold Brocade and Renaissance Painting Rembrandt Duits / Książka Twarda
common.buy 888.46 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?