Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Towards Mechanized Mathematical Assistants
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 6th International Conference on Mathematical K...
Celý popis
Libristo kód: 01568715
?
154 b
154 b
1 540
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
948
Kč
This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.
Informace o knize
Plný název
Towards Mechanized Mathematical Assistants
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2007
Počet stran
410
EAN
9783540730835
ISBN
3540730834
Libristo kód
01568715
Nakladatelství
Springer, Berlin
Váha
646
Rozměry
155 x 237 x 25
Kategorie
Technologie, strojírenství, zemědělství
>
Elektronické a komunikační inženýrství
>
Elektrotechnické inženýrství
>
Automatická kontrola v inženýrství
>
Robotika
Výpočetní a informační technologie
>
Digitální životní styl
>
Internetové příručky a online služby
>
Internetové vyhledávání
Výpočetní a informační technologie
>
Informatika
>
Umělá inteligence
>
Expertní systémy/systémy založené na znalostech
