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

Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Mathematical Knowledge Management Andrea Asperti
Kod Libristo: 01559785
Wydawnictwo Springer, Berlin, listopad 2003
This book constitutes the refereed proceedings of the Third International Conference on Mathematical... 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

Historické radnice Čech, Moravy a Slezska 1. díl Zdeněk Fišera / Książka Twarda
common.buy 120.61 zł
Heilende Pilze Fungorum Europa Vitali / Książka Miękka
common.buy 57.63 zł
Jean Racine Sarah Peters / Książka Miękka
common.buy 68.80 zł
Anrede in Organisationen des Gesundheitswesens Tina Eisenrauch / Książka Miękka
common.buy 162.96 zł
SPACE MEGA MALBUCH - SPEZIAL EDITION - ENTDECKE DAS UNIVERSUM - FREMDE PLANETEN - ERKUNDE DEN WELTRAUM - UFO - Gabriele Andre / E-book Adobe ePub DRM
common.buy 46.67 zł
Na naší škole nám záleží Martin Chvál / Książka Miękka
common.buy 54.81 zł
Leben Auf Der Walze Wolfgang Kirchbach / Książka Miękka
common.buy 68.60 zł
Schlangen Esther Neumann / Książka Karta
common.buy 17.39 zł
Epitre A l'Humanite Et A La Patrie En Particulier, Sur Le Bon Ordre Et l'Idee de la Veritable Chevret-J / Książka Miękka
common.buy 54.11 zł
L'ultimo ballo di Charlot Fabio Stassi / Książka Miękka
common.buy 74.23 zł
Handbook of Literary Rhetoric: A Foundation for Literary Study Heinrich Lausberg / Książka Twarda
common.buy 936.05 zł
Jahrbuch der Psychoanalyse / Band 47 Claudia Frank / Książka Miękka
common.buy 171.91 zł
Discours Prononce, Le 14 Juin 1876, Au Senat Espagnol Sans Auteur / Książka Miękka
common.buy 65.98 zł
Československo 38-89: Atentát collegium / Audio DVD Audio
common.buy 38.32 zł

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.

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, 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

Mogłoby Cię także zainteresować

The Theory of Language Holography Guanlian Qian / Książka Miękka
common.buy 437.59 zł
The Guardians of the Promise Dr Ron Lovell / Książka Miękka
common.buy 81.98 zł
Great Grenfell Gardens. Bertha H Buxton / Książka Miękka
common.buy 88.11 zł
The Life Of Whitelaw Reid: Journalism, War and Politics V1 Royal Cortissoz / Książka Miękka
common.buy 162.55 zł
Unsanctioned E G Jones / Książka Twarda
common.buy 132.78 zł
History of King Charles I of England Jacob Abbott / Książka Twarda
common.buy 130.67 zł
Meg and Mog Show Jan Pienkowski / Książka Miękka
common.buy 67.39 zł
Middle Atlantic Prehistory Heather A. Wholey / Książka Twarda
common.buy 541.50 zł
California Birds: Their Status and Distribution Arnold Small / Książka Twarda
common.buy 150.78 zł
Invitation, The Jerry Potter / Książka Miękka
common.buy 57.03 zł
Mystery Babalon: The Bhaktic and Ecstatic Rites of Babalon Hagia Aureavia / Książka Miękka
common.buy 120.30 zł
World of the Newport Medieval Ship Evan T. Jones / Książka Miękka
common.buy 134.29 zł
Power Boxing Workout Secrets Sammy Franco / Książka Miękka
common.buy 56.22 zł
Cosmological Fine-Tuning Arguments Waller / Książka Twarda
common.buy 800.14 zł
Selected Poems Joseph Brodsky / Książka Miękka
common.buy 45.96 zł
The Roman See In The Early Church; And Other Studies In Church History William Bright / Książka Miękka
common.buy 142.74 zł
TOP
My Hero Academia, Vol. 35 Kohei Horikoshi / Książka Miękka
common.buy 37.01 zł
A Master Mariner Mindset Smooth Sailing Mustafa Nejem / Książka Miękka
common.buy 66.38 zł
Culture and Commerce of Texts Harold Love / Książka Miękka
common.buy 176.24 zł
Lecture on the Study of History John Acton / Książka Miękka
common.buy 34.80 zł
Mechanical Integration of Plant Cells and Plants Przemyslaw Wojtaszek / Książka Twarda
common.buy 655.68 zł
Gender 2e Harriet Bradley / Książka Miękka
common.buy 120.81 zł
TOP
How to Write Tibetan Calligraphy Sanje Elliot / Książka Miękka
common.buy 72.32 zł
Development of the National Economy Vol 2 William J. Barber / Książka Twarda
common.buy 755.88 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?