Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 10.99 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 10.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
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
▸
Pusty :-(
0
Automated Deduction in Geometry
Język
Angielski
Angielski
Książka
Miękka
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Wor...
Cały opis
Kod Libristo: 01659177
?
195 b
195 b
331.31
zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-16 dni
30 dni na zwrot towaru
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. §The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.
Informacje o książce
Pełna nazwa
Automated Deduction in Geometry
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2011
Liczba stron
259
EAN
9783642250699
ISBN
3642250696
Kod Libristo
01659177
Wydawnictwo
Springer, Berlin
Waga
421
Wymiary
155 x 235 x 20
Kategoria
Technika, inżynieria i rolnictwo, procesy przemysłowe
>
Elektronika i telekomunikacja
>
Inżynieria elektroniczna
>
Automatyka przemysłowa
>
Robotyka
Informatyka i technologie informacyjne (IT)
>
Informatyka (nauka)
>
Matematyczna teoria obliczeń
>
Matematyka w informatyce
Informatyka i technologie informacyjne (IT)
>
Programowanie komputerowe i tworzenie oprogramowania
>
Programowanie grafiki
