Проверка на състоянието на поръчката
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€

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Deduction - CADE-19 Franz Baader
Код Либристо: 01562844
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... Цялото описание
? points 132 b
54.26 €
106.12  лв
Външен склад Изпращаме след 5-8 дни

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

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

Videnia 1: Život Preblahoslavenej Panny Márie Anna Katarína Emmerichová / Книга С твърди корици
common.buy 24.39 € 47.71 лв
brava veterinaria. Facciamo che ero Donata Quagliotti / Книга С твърди корици
common.buy 21.56 € 42.16 лв
A Era da Libertaç?o na LIGAO & O Rescaldo da Segunda Guerra Mundial 1944-1945 Marilou D. Tino / Книга С меки корици
common.buy 41.36 € 80.90 лв
Obesit? e riserva ovarica Manal Mohammed Ali / Книга С меки корици
common.buy 37.65 € 73.64 лв
CAMINAR SOBRE HIELO (+12 AÑOS) (ERIZONTE) VALLS / Книга С меки корици
common.buy 17.33 € 33.89 лв
Niño GARCIA MAÑA / Книга С меки корици
common.buy 17.53 € 34.29 лв
Einmal mit Alles Daniel Esswein / Книга С твърди корици
common.buy 40.07 € 78.38 лв
Ján Ondruš Básnické dielo Ján Ondruš / Книга С меки корици
common.buy 11.34 € 22.18 лв
Dřevěné kostky Zvířátka 2 kostky / Игра/играчка Играчка
common.buy 5.88 € 11.49 лв
LOS MEJORES DESTINOS DEL ROMÁNICO EN ESPAÑA JAIME COBREROS / Книга С твърди корици
common.buy 23.88 € 46.70 лв
Daltonismo-¿de qué color lo ves? Violeta Crespo / Книга С меки корици
common.buy 14.39 € 28.14 лв
Der Murks mit der Milch Max O. Bruker / Книга С меки корици
common.buy 16.91 € 33.08 лв
Подготвяме
Lehrbuch Dieter Blohm / Книга С твърди корици
common.buy 58.13 € 113.69 лв
Norm, Person, Gesellschaft. Günther Jakobs / Книга С меки корици
common.buy 29.86 € 58.40 лв
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Книга С меки корици
common.buy 49.62 € 97.04 лв
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / Книга binding.
common.buy 3.81 € 7.46 лв
Dárkové krabičky ve tvaru hvězdy 6 kusů / Канцеларски материали Канцеларски материали
common.buy 7.63 € 14.92 лв

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.§The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

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

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

Пълно заглавие Automated Deduction - CADE-19
Автор Franz Baader
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2003
Брой страници 512
Баркод 9783540405597
ISBN 3540405593
Код Либристо 01562844
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1600
Размери 155 x 235 x 29

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Intelligent Strategies for Meta Multiple Criteria Decision Making Thomas Hanne / Книга С меки корици
common.buy 108.27 € 211.75 лв
Teaching Ministry of the Church James D. Smart / Книга С меки корици
common.buy 28.93 € 56.59 лв
Glorious Boy Aimee Liu / Книга С меки корици
common.buy 18.56 € 36.31 лв
Ghost Sonata Gary Reed / Книга С меки корици
common.buy 10.62 € 20.77 лв
Night of the Cat Richard Waltner / Книга С меки корици
common.buy 20.27 € 39.64 лв
Church Reform Movement at Rome Charles R Conybeare / Книга С меки корици
common.buy 12.37 € 24.20 лв
Brave Men and Women Osgood E Fuller / Книга С меки корици
common.buy 9.38 € 18.35 лв
The Art of Simpling: An Introduction to the Knowledge and Gathering of Plants William Coles / Книга С меки корици
common.buy 25.89 € 50.64 лв
THE ELEMENTS OF MENTAL AND MORAL SCIENCE WILLIAM CH COUPLAND / Книга С твърди корици
common.buy 32.49 € 63.55 лв
Liberty Day October 12, 1918. Suggestions for Community Celebrations Henry Ezekiel Jackson / Книга С твърди корици
common.buy 26.82 € 52.45 лв
Technical Study of the Maintenance and Fattening of Lambs and Their Utilization of a Ration of Alfalfa Hay and Corn H H 1886-1966 Mitchell / Книга С твърди корици
common.buy 26.82 € 52.45 лв
Vigilante Witch Hunter Gary Turcotte / Книга С меки корици
common.buy 22.12 € 43.27 лв
History of Cherry Valley. from 1740 to 1898. John Sawyer / Книга С меки корици
common.buy 17.74 € 34.70 лв
Tree Tops Jim Corbett / Книга С меки корици
common.buy 5.10 € 9.98 лв
Art of Frozen Charles Solomon / Книга С твърди корици
common.buy 33.94 € 66.37 лв
DNA Methylation, Epigenetics and Metastasis M. Esteller / Книга С твърди корици
common.buy 236.24 € 462.05 лв
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / Книга С твърди корици
common.buy 108.27 € 211.75 лв
Comic Books as History Joseph Witek / Книга С меки корици
common.buy 39.04 € 76.36 лв
Norfolk W A Dutt / Книга С меки корици
common.buy 28.16 € 55.07 лв
Functional Foods and Nutraceuticals Aluko / Книга С твърди корици
common.buy 90.16 € 176.34 лв
Iki and The Ocean Protectors Martha Johnston / Книга С твърди корици
common.buy 25.01 € 48.92 лв
Realizing Beloved Community Allen K. Shin / E-книга Adobe ePub DRM
common.buy 33.94 € 66.37 лв

Вход

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

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

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

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

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