КорзинаКупить Scheme-based Theorem Discovery and Concept Invention. ISBN 9783659886201.
Вы всегда можете уточнить на сайте продавца актуальную цену и наличие на товар "Scheme-based Theorem Discovery and Concept Invention"
Взгляните на следующие похожие товары
1264 ₽
Лучшая цена в интернет магазине my-shop.ru
1179 ₽
Лучшая цена в интернет магазине my-shop.ru
1286 ₽
Лучшая цена в интернет магазине my-shop.ru
1206 ₽
Лучшая цена в интернет магазине my-shop.ru
1008 ₽
Лучшая цена в интернет магазине my-shop.ru
599 ₽
Лучшая цена в интернет магазине Labirint.ru
Описание товара
This book describes an approach to automatically invent/explore new mathematical theories, with the goal of producing results comparable to those produced by humans, as represented, for example, in the libraries of proof assistants. The approach described is based on schemes, which are formulae in higher-order logic. It shows that it is possible to automate the instantiation process of schemes to generate conjectures and definitions. It also shows how the new definitions and the lemmata.. описание на сайте интернет продавца
Характеристики Scheme-based Theorem Discovery and Concept Invention
| Размеры | 0.100/0.100/0.100 | Количество страниц | 152 |
| Ширина упаковки | 1 | Parsed | 1 |
| Store | false | Sales_notes | Вернем 50,0000 руб. по программе OzonStatus |
| Глубина упаковки | 1 | Язык издания | Английский |
| ISBN | 9783659886201 | Штрихкод | 9783659886201 |
| Высота упаковки | 1 | Вес | 501 |
| Manufacturer_warranty | false | Год | 2016 |
Кроме Scheme-based Theorem Discovery and Concept Invention, также взгляните на следующие похожие товары
Each level of the "Pupil’s Book" contains a Welcome unit and 8 units each designed for 2-3 hours of class per week. Each unit includes a cross-curricular lesson and a "phonics"..
1264 ₽
Лучшая цена в интернет магазине my-shop.ru
Подробнее
Вашему вниманию предлагается руководство по эксплуатации автомобиля Land Rover Discovery 3 с 2004 по 2009 года выпуска.
1179 ₽
Лучшая цена в интернет магазине my-shop.ru
Описание
В данном сервисном руководстве дается описание процедур по ремонту и техническому обслуживанию автомобилей LAND ROVER DISCOVERY с 1995 года выпуска с бензиновыми двигателями V8i..
1286 ₽
Лучшая цена в интернет магазине my-shop.ru
Описание
Grammar & Vocabulary Practice systematically teaches grammar and vocabulary and helps students succeed in all B1 Level Exams. The Teacher''s Book includes the Student''s Book with..
1206 ₽
Лучшая цена в интернет магазине my-shop.ru
Подробнее
Эта невероятная энциклопедия, созданная по мотивам популярного цикла передач канала Discovery, поражает воображение - на страницах книги вас ожидают более 600 невероятных фактов и..
1008 ₽
Лучшая цена в интернет магазине my-shop.ru
Описание
В руководстве дается пошаговое описание процедур по ремонту и техническому обслуживанию автомобилей Land Rover Discovery 1998-2004 гг. выпуска. Книга предназначена для..
599 ₽
Лучшая цена в интернет магазине Labirint.ru
Описание
Контакты: support@newbookshop.ru