Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 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 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Resolution Calculus

Name: Resolution Calculus
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 06994883
Price: 53.33 EUR
Availability: InStock
Author: Alexander Leitsch
ISBN: 9783642644733

Alexander Leitsch

Език

Английски език

Книга С меки корици

Код Либристо: 06994883

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2011

The History of the Book In August 1992 the author had the opportunity to give a course on resolution... Цялото описание

Код Либристо: 06994883

129 b

53.33 €

104.31 лв

Външен склад Изпращаме след 5-8 дни

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

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

Diàlegs entre educació i neurociència BEATRIZ FAGUNDO

С меки корици

24.57 € 48.05 лв

Dans les intrigues de Game of Thrones Drapeau

Книга

32.02 € 62.62 лв

Crear un departamento de marketing Mahmoud El Louiyne

С меки корици

62.18 € 121.61 лв

Moment crucial

С твърди корици

19.03 € 37.22 лв

Histoire du Paris gastronomique Patrick Rambourg

С меки корици

32.22 € 63.02 лв

Arany Laszlo osszes koltemenye Arany Laszlo

Adobe ePub DRM

2.37 € 4.64 лв

Cake & Dessert Recepten 2022 MATTE VISSER

С меки корици

30.21 € 59.08 лв

Wilhelm Meister Johann Wolfgang Von Goethe

С твърди корици

40.14 € 78.50 лв

Endodoncia, irrigantes y su eficacia antibacteriana Adriana Haro Valencia

С меки корици

34.03 € 66.57 лв

Aidez-Moi, Je Suis Perdu! ACTIVITY CRUSADES

С меки корици

13.60 € 26.60 лв

Historia del cerco de Lisboa JOSE SARAMAGO

С меки корици

13.76 € 26.90 лв

Dictionnaire de Lempri're(le) Lawrence Norfolk

С меки корици

12.72 € 24.88 лв

Diagnóstico estético para la aplicación de técnicas hidrotermales. Certificados de profesionalidad. Hidrotermal APARICIO RIVERO

С меки корици

26.69 € 52.20 лв

Cádiz tourist guide Ramón Corzo Sánchez

С меки корици

26.53 € 51.89 лв

Inteligencia artificial : modelos técnicos y áreas de aplicación Francisco . . . [et al. ] Escolano Ruiz

С меки корици

34.55 € 67.58 лв

Error sanitario y seguridad de pacientes David Larios Risco

С меки корици

19.45 € 38.03 лв

El Concepto del Continuum: En busca del bienestar perdido Liedloff

С меки корици

22.24 € 43.50 лв

Eponym Galen

Аудио компактдиск

11.01 € 21.54 лв

Rechtsformwahl Eva Reiter

С меки корици

18.05 € 35.30 лв

Dissertation Sur Les Attributs de Venus, Qui a Obtenu l'Accessit Au Jugement de l'Academie Royale DE LA CHAU-G

С меки корици

16.55 € 32.37 лв

Spaziergang zu den Sternen Petra-Alexa Prantl

С меки корици

7.81 € 15.27 лв

Kenzül Irfan Muhammed Esad Erbili

С меки корици

15.93 € 31.15 лв

Quais as contribuicoes do Programa Bolsa Familia para educacao Jose Fabiano de Araujo Oliveira

С меки корици

47.12 € 92.16 лв

Ugeskrift for L?ger, Volume 8 Almindelige Danske Lgeforening

С меки корици

27.36 € 53.51 лв

The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. The challenge of this course (a total of five two-hour lectures) con sisted in the selection of the topics to be presented. Clearly the first selection has already been made by calling the course "resolution theorem proving" instead of "automated deduction" . In the latter discipline a remarkable body of knowledge has been created during the last 35 years, which hardly can be presented exhaustively, deeply and uniformly at the same time. In this situ ation one has to make a choice between a survey and a detailed presentation with a more limited scope. The author decided for the second alternative, but does not suggest that the other is less valuable. Today resolution is only one among several calculi in computational logic and automated reasoning. How ever, this does not imply that resolution is no longer up to date or its potential exhausted. Indeed the loss of the "monopoly" is compensated by new appli cations and new points of view. It was the purpose of the course mentioned above to present such new developments of resolution theory. Thus besides the traditional topics of completeness of refinements and redundancy, aspects of termination (resolution decision procedures) and of complexity are treated on an equal basis.