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

Logic at Botik '89

Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic at Botik '89 Albert R. Meyer
Код Либристо: 05274101
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundation... Цялото описание
? points 132 b
54.41 €
106.41  лв
Външен склад Изпращаме след 5-8 дни

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

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

Autism and Inclusive Education Chandra Lebenhagen / Книга С твърди корици
common.buy 209.10 € 408.97 лв
Naissance de la gauche Marc Crapez / Книга С меки корици
common.buy 22.75 € 44.50 лв
Sefer Ahava Simcha Irah Ve Hochma Abraham Omer Bar / Книга С меки корици
common.buy 37.34 € 73.03 лв
Lehrbuch des Marathi Daniel Krasa / Книга С меки корици
common.buy 41.94 € 82.03 лв
Das Mensch als solches: Ein Versuch?!? Dennis Thiel / Книга С меки корици
common.buy 8.11 € 15.87 лв
Lewis - Der Oxford Krimi. Staffel.5, 4 DVDs Kevin Whately / Видео DVD
common.buy 29.58 € 57.85 лв

The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.

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

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

Пълно заглавие Logic at Botik '89
Автор Albert R. Meyer, Michael A. Taitslin
Език Английски език
Корици Книга - С меки корици
Брой страници 292
Баркод 9783540512370
ISBN 3540512373
Код Либристо 05274101
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 950
Размери 155 x 235 x 17

Категории

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

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

From Human to Posthuman Brent Waters / Книга С меки корици
common.buy 75.20 € 147.07 лв
Liberty for Women Wendy Mcelroy / Книга С меки корици
common.buy 22.29 € 43.59 лв
Psychodynamics of Drug Dependence Jack D. Blaine / Книга С меки корици
common.buy 79.59 € 155.67 лв
Polymeric Liquid Crystals Alexandre Blumstein / Книга С меки корици
common.buy 183.61 € 359.10 лв
On Ethics and Character Traits An Arabic Critical Edition and English Translation of Epistle 9 (Hardback) Omar (The Institute of Ismaili Studies) Ali-de-Unzaga / Книга С твърди корици
common.buy 99.14 € 193.91 лв
Tools for Land Use Analysis on Different Scales B. A. M Bouman / Книга С меки корици
common.buy 162.71 € 318.23 лв
Review of Mr. Glass's Observes on the Original Constitution of the Christian Church; In a Letter to Him. by Thomas Aytone. Thomas Aytone / Книга С меки корици
common.buy 14.89 € 29.12 лв
The Interminables Paige Orwin / Книга С меки корици
common.buy 7.96 € 15.57 лв
Token Black Guide Donald R Guillory II / Книга С меки корици
common.buy 14.89 € 29.12 лв
Odd, the Unusual, and the Strange Tracy K. Betsinger / Книга С твърди корици
common.buy 100.13 € 195.83 лв
Human Lifespan Development: An ABC Guide for Students Mark Walsh / Книга С меки корици
common.buy 15.72 € 30.74 лв
The Aging Proposition: Take Care of Your Body and Mind and Live Youthfully After Age 50 Scott Abel / Книга С меки корици
common.buy 10.34 € 20.22 лв

Вход

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

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

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

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

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