Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Superposition-based Decision Procedures for Minimal Models

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

Matthias Horbach

Sprache

Englisch

Buch Broschur

Libristo-Code: 06962255

Verlag Sudwestdeutscher Verlag Fur Hochschulschriften AG, September 2011

Superposition is an established decision procedure for various first-order logic theories represente... Vollständige Beschreibung

Libristo-Code: 06962255

205 b

83.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

79.69 €

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

Leporello

10.00 €

LOCOS POR LOS CLASICOS EMILIO DEL RIO

Buch

10.89 €

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

Papier- und Schreibwaren

0.39 €

Norweger mit Rundpassen stricken Babette Ulmer

Broschur

19.99 €

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

Karte

19.29 €

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

Broschur

23.39 €

Lettere. Testo greco a fronte Platone

Hardcover

50.79 €

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

Broschur

26.09 €

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

Broschur

32.49 €

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

Broschur

9.99 €

Strom des Himmels Hanna-Laura Noack

Broschur

14.90 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Superposition-based Decision Procedures for Minimal Models

Autor Matthias Horbach

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 216

EAN 9783838128023

ISBN 3838128028

Libristo-Code 06962255

Verlag Sudwestdeutscher Verlag Fur Hochschulschriften AG

Gewicht 322

Abmessungen 152 x 229 x 12

Kategorie

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Sugared Game KJ Charles

Broschur

12.59 €

Starting Out in Methods and Statistics for Psychology Victoria Bourne

Broschur

52.99 €

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

Broschur

19.89 €