Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Theorem Proving with the Real Numbers

Език Английски езикАнглийски език
Книга С твърди корици
Книга Theorem Proving with the Real Numbers John Harrison
Код Либристо: 22800726
Издателство SPRINGER NATURE, август 1998
This book discusses the use of the real numbers in theorem proving. Typ- ically, theorem provers onl... Цялото описание
? points 279 b
115.44 €
225.78  лв
50% вероятност Ще претърсим света Кога ще получа книгата?

До 30 дни за връщане на стоки

Клиентите са закупили също

Planetographie Oswald Lohse / Книга С меки корици
common.buy 27.86 € 54.49 лв
Dnem i nocí Atlantikem II. David Křížek / Книга С меки корици
common.buy 3.41 € 6.66 лв
KAIKAN PHRASE 2 SHINJO / Книга Книга
common.buy 9.87 € 19.30 лв
Uma Arena de Vozes / Arena Der Stimmen Kathrin Sartingen / Книга С твърди корици
common.buy 70.41 € 137.71 лв
Alice von Battenberg - Die Schwiegermutter der Queen Karin Feuerstein-Praßer / Книга С меки корици
common.buy 13.44 € 26.28 лв
Le grand dictionnaire des malaises et des maladies - Edition Luxe Martel / Книга С твърди корици
common.buy 50.35 € 98.48 лв
Manutenç?o Produtiva Total / Книга С меки корици
common.buy 39.60 € 77.45 лв

This book discusses the use of the real numbers in theorem proving. Typ- ically, theorem provers only support a few 'discrete' datatypes such as the natural numbers. However the availability of the real numbers opens up many interesting and important appli

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Theorem Proving with the Real Numbers
Автор John Harrison
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 1998
Брой страници 196
Баркод 9780387762562
ISBN 0387762566
Код Либристо 22800726
Издателство SPRINGER NATURE

Категории

Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

River Master Letter of Transmittal and Special Report U S Geological Survey / Книга С меки корици
common.buy 16.64 € 32.55 лв
Нови
Fairy Unicorns Story Collection Nuno Alexandre Vieira / Книга С меки корици
common.buy 10.39 € 20.31 лв
Art of Self-Improvement Anna Katharina Schaffner / Книга С твърди корици
common.buy 23.31 € 45.59 лв
Impact of Hitler Maurice Cowling / Книга С меки корици
common.buy 57.02 € 111.52 лв
Waupaca Kim J. Heltemes / Книга С твърди корици
common.buy 24.55 € 48.02 лв
Heat and Mass Transfer Karl Stephan / Книга С меки корици
common.buy 89.44 € 174.92 лв
Twenty-Six Miles Professor of Linguistics Andrew (University of Essex University of Cambridge University of Cambridge University of Essex University of Essex Universit / Книга С меки корици
common.buy 17.21 € 33.66 лв
COSTUME OF COLONIAL TIMES ALICE MORSE EARLE / Книга С твърди корици
common.buy 42.03 € 82.20 лв
Detention under the Immigration Acts: Law and Practice Rory Dunlop / Книга С меки корици
common.buy 129.09 € 252.48 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?