Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Superposition-based Decision Procedures for Minimal Models

Name: Superposition-based Decision Procedures for Minimal Models
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 06962255
Price: 84.82 EUR
Availability: InStock
Author: Matthias Horbach
ISBN: 9783838128023

Matthias Horbach

Език

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

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

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

Издателство Sudwestdeutscher Verlag Fur Hochschulschriften AG, септември 2011

Superposition is an established decision procedure for various first-order logic theories represente... Цялото описание

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

205 b

84.82 €

165.89 лв

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

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

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

Les merveilleux Vaisseaux : rencontrer, comprendre, mettre en oeuvre les Méridiens Extraordinaires Ferrando

С меки корици

80.68 € 157.79 лв

Erste Briefe für Tier-Entdecker von Felix Constanza Droop

Дипляна

9.37 € 18.32 лв

LOCOS POR LOS CLASICOS EMILIO DEL RIO

Книга

11.70 € 22.88 лв

Optys Školní sešit 512 bezdřevý, linka 16 mm - písmena

Канцеларски материали

0.36 € 0.70 лв

Norweger mit Rundpassen stricken Babette Ulmer

С меки корици

18.02 € 35.24 лв

Hrady a zříceniny v Čechách Petr Fabian

Карта

20.81 € 40.71 лв

Quand l'univers m'inspire Wenn das Universum mich inspiriert Amira Belkheir

С меки корици

23.71 € 46.38 лв

Lettere. Testo greco a fronte Platone

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

51.42 € 100.57 лв

Les Indications Des Interventions Chirurgicales Dans Les Maladies Internes Schlesinger-H

С меки корици

25.21 € 49.32 лв

Nicolas Lebègue, organiste de la chapelle royale et de Saint-Merry. Dufourcq

С меки корици

32.93 € 64.41 лв

mindmemo Lernfolder - Grammatik - The Tenses - Die englischen Zeiten Fischer Henry

С меки корици

9.68 € 18.93 лв

Strom des Himmels Hanna-Laura Noack

С меки корици

14.29 € 27.94 лв

Superposition is an established decision procedure for various first-order logic theories represented by clause sets. A satisfiable theory, saturated by superposition, implicitly defines a minimal Herbrand model. This raises the question in how far superposition can be employed for reasoning about such models. This is indeed often possible when existential properties are considered. However, proving universal properties directly leads to the introduction of Skolem functions and a modification of the minimal model's term-generated domain, changing the examined problem. The author Matthias Horbach describes the first superposition calculus that can explicitly represent existentially quantified variables and that in consequence can compute with respect to a given fixed domain. It does not eliminate existential variables by Skolemization but handles them using additional constraints with which each clause is annotated. The calculus is sound and refutationally complete in the limit for a fixed domain semantics. For special classes of theories, it is even complete for proving properties of the minimal model. It thus gives rise to various decision procedures for minimal model validity.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Superposition-based Decision Procedures for Minimal Models

Автор Matthias Horbach

Език

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

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

Дата на издаване 2011

Брой страници 216

Баркод 9783838128023

ISBN 3838128028

Код Либристо 06962255

Издателство Sudwestdeutscher Verlag Fur Hochschulschriften AG

Тегло 322

Размери 152 x 229 x 12

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

Sugared Game KJ Charles

С меки корици

12.16 € 23.79 лв

Starting Out in Methods and Statistics for Psychology Victoria Bourne

С меки корици

53.64 € 104.92 лв

The Office of Constable: Comprising the Laws Relating to High, Petty, and Special Constables, Headboroughs, Tithingmen, Borsholders, and Watchm J W Willcock

С меки корици

19.21 € 37.57 лв