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

A Resolution Principle for a Logic with Restricted Quantifiers

Език Английски езикАнглийски език
Книга С меки корици
Книга A Resolution Principle for a Logic with Restricted Quantifiers Hans-Jürgen Bürckert
Код Либристо: 05274239
Издателство Springer, Berlin, ноември 1990
This monograph presents foundations for a constrained logic scheme treating constraints as a very ge... Цялото описание
? points 148 b
61.19 €
119.68  лв
Външен склад в ограничено количество Изпращаме след 11-15 дни

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

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

LA VOZ LITERARIA DE MUJERES SINGULARES UCAR VENTURA / Книга Книга
common.buy 26.32 € 51.47 лв
Crescent City (relié collector) - Tome 03 Maison de la flamme et de l'ombre Sarah J. Maas / Книга С твърди корици
common.buy 38.34 € 74.99 лв
Das Fahrradbuch Spiegel Stefan / Книга С твърди корици
common.buy 39.64 € 77.52 лв
Fantasy Collection: Fire Dragon / Игра/играчка Игра
common.buy 7.87 € 15.39 лв
Leer Baskisch Met Plezier - Voor Kinderen LINGUAS CLASSICS / Книга С меки корици
common.buy 12.12 € 23.70 лв
Migration eines Mittelverwaltungssystems in eine Multiuserumgebung Martin Kneip / Книга С меки корици
common.buy 50.10 € 97.99 лв
Philosophie Grecque, le Logos sur la prière Antonios Peripatitis / Книга С меки корици
common.buy 16.11 € 31.51 лв
PONS Mondatról mondatra - Olasz A1 Katarzyna Foremniak / Книга Книга
common.buy 11.86 € 23.20 лв
Che cos'è la dottrina pura del diritto Hans Kelsen / Книга С меки корици
common.buy 22.74 € 44.48 лв
Querflöte, Schülerheft Fine Mallus / Книга С меки корици
common.buy 14.09 € 27.56 лв
EL MISTERI DEL JUGADOR NÚMERO 13 ROBERTO SANTIAGO / Книга С меки корици
common.buy 13.78 € 26.95 лв
J. S. Bach Para Flauta Dulce Contralto: 10 Piezas F Easy Classical Masterworks / Книга С меки корици
common.buy 9.43 € 18.44 лв
Las frecuencias de los chakras / The Frequencies of the Chakras Jonathan Goldman / Книга С меки корици
common.buy 29.63 € 57.96 лв
Heortologie August Mommsen / Книга С меки корици
common.buy 42.74 € 83.60 лв
Banktresor 713, 1 DVD Werner Klingler / Видео DVD
common.buy 19.89 € 38.91 лв

This monograph presents foundations for a constrained logic scheme treating constraints as a very general form of restricted quantifiers. The constraints - or quantifier restrictions - are taken from a general constraint system consisting of constraint theory and a set of distinguished constraints.The book provides a calculus for this constrained logic based on a generalization of Robinson's resolution principle. Technically, the unification procedure of the resolution rule is replaced by suitable constraint-solving methods. The calculus is proven sound and complete for there futation of sets of constrained clauses. Using a new and elegant generalization of the notion of a ground instance, the proof technique is a straight forward adaptation of the classical proof technique. The author demonstrates that the constrained logic scheme can be instantiated by well-known sorted logics ore quational theories and also by extensions of predicatelogics with general equational constraints or concept description languages.

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

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

Пълно заглавие A Resolution Principle for a Logic with Restricted Quantifiers
Автор Hans-Jürgen Bürckert
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1991
Брой страници 120
Баркод 9783540550341
ISBN 3540550348
Код Либристо 05274239
Издателство Springer, Berlin
Тегло 230
Размери 156 x 234 x 7

Категории

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

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

Quips and Cranks, 1908, Vol. 11 (Classic Reprint) H. S. Shaw / Книга С меки корици
common.buy 17.82 € 34.85 лв
Inglorious Disarray: Europe, Israel and the Palestinians Since 1967 Rory Miller / Книга С твърди корици
common.buy 45.02 € 88.06 лв
Edible Oil Structuring Ashok R. Patel / Книга С твърди корици
common.buy 209.13 € 409.03 лв
The Rise and Fall Of Studio One: Rise Again Lou Gooden / Книга С меки корици
common.buy 17.66 € 34.55 лв
No! MS Cheryl Johnson / Книга С меки корици
common.buy 9.89 € 19.35 лв
McStays, Taken Too Soon: A True Story Patrick McStay / Книга С меки корици
common.buy 14.87 € 29.08 лв
Angels' Lament Mj Pettengill / Книга С меки корици
common.buy 13.93 € 27.25 лв
Mournes / Печатни материали Карта
common.buy 15.02 € 29.38 лв
Sensing and Control for Autonomous Vehicles Thor I. Fossen / Книга С меки корици
common.buy 222.34 € 434.87 лв
Evidence-Based Practice in Clinical Social Work James W Drisko / Книга С меки корици
common.buy 93.73 € 183.33 лв
Damnation Eternal Damnation to the Fiend Begotten Coarser Food New Poorlaw Richard Oastler / Книга С меки корици
common.buy 14.61 € 28.57 лв
Professor Montgomery's Discoveries In Celestial Mechanics (1919) Leander A. Redman / Книга С меки корици
common.buy 23.16 € 45.29 лв
Изгодно
Magic Potions and Elixirs - Recipes and Spells for Kids in Magic Training Catherine Fet / Книга С меки корици
common.buy 9.63 € 18.84 лв
Industrial PID Controller Tuning José David Rojas / Книга С меки корици
common.buy 127.57 € 249.51 лв
Psychoemotional disorders associated with irritable bowel syndrome Ala Ben Issa / Книга С меки корици
common.buy 47.30 € 92.52 лв
Martin Crimp: Plays 3 Martin Crimp / E-книга Adobe ePub DRM
common.buy 18.75 € 36.68 лв
Elephants in My Backyard Rajiv Surendra / E-книга Adobe ePub DRM
common.buy 18.23 € 35.66 лв
Single Cell Analysis: Technologies and Future Prospects / Книга С твърди корици
common.buy 137.31 € 268.56 лв
Grey Owl and Me Hap Wilson / Книга С меки корици
common.buy 25.59 € 50.06 лв
Modern Physics and its Philosophy M. Strauss / Книга С меки корици
common.buy 61.19 € 119.68 лв
Text World Theory Joanna Gavins / Книга С твърди корици
common.buy 138.40 € 270.69 лв
Practically Profound James H. Hall / Книга С меки корици
common.buy 63.99 € 125.15 лв
Language of Atoms W. H. Shearin / Книга С твърди корици
common.buy 98.19 € 192.04 лв
Plant Cell Culture Protocols Víctor M. Loyola-Vargas / Книга С твърди корици
common.buy 183.95 € 359.77 лв

Вход

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

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

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

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

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