Не ви допада? Няма проблеми! Можете да върнете стоките до 30 дни
Няма да сбъркате с подаръчен ваучер. Получателят може да избере нещо от нашия асортимент с подаръчен ваучер.
До 30 дни за връщане на стоки
Discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. It combines practical application with theoretical discussion.
Здравейте! Аз съм Libroamiko, вашият книжен съветник.
Как мога да ви помогна?