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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Resolution Calculus

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

Alexander Leitsch

Sprache

Englisch

Buch Broschur

Libristo-Code: 06994883

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2011

The History of the Book In August 1992 the author had the opportunity to give a course on resolution... Vollständige Beschreibung

Libristo-Code: 06994883

109 b

44.39 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

19.49 €

Dans les intrigues de Game of Thrones Drapeau

Buch

25.09 €

Crear un departamento de marketing Mahmoud El Louiyne

Broschur

51.19 €

Moment crucial

Hardcover

15.69 €

Histoire du Paris gastronomique Patrick Rambourg

Broschur

25.19 €

Arany Laszlo osszes koltemenye Arany Laszlo

Adobe ePub DRM

1.89 €

Cake & Dessert Recepten 2022 MATTE VISSER

Broschur

24.29 €

Wilhelm Meister Johann Wolfgang Von Goethe

Hardcover

33.89 €

Endodoncia, irrigantes y su eficacia antibacteriana Adriana Haro Valencia

Broschur

27.99 €

Aidez-Moi, Je Suis Perdu! ACTIVITY CRUSADES

Broschur

10.89 €

Historia del cerco de Lisboa JOSE SARAMAGO

Broschur

11.39 €

Dictionnaire de Lempri're(le) Lawrence Norfolk

Broschur

9.99 €

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

Broschur

20.59 €

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

Broschur

22.09 €

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

Broschur

26.59 €

Error sanitario y seguridad de pacientes David Larios Risco

Broschur

14.99 €

El Concepto del Continuum: En busca del bienestar perdido Liedloff

Broschur

17.19 €

Eponym Galen

Audio CD

9.39 €

Rechtsformwahl Eva Reiter

Broschur

18.95 €

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

Broschur

13.89 €

Spaziergang zu den Sternen Petra-Alexa Prantl

Broschur

7.99 €

Kenzül Irfan Muhammed Esad Erbili

Broschur

13.39 €

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

Broschur

38.89 €

Ugeskrift for L?ger, Volume 8 Almindelige Danske Lgeforening

Broschur

21.99 €

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.

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 Resolution Calculus

Autor Alexander Leitsch

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 300

EAN 9783642644733

ISBN 3642644732

Libristo-Code 06994883

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 482

Abmessungen 155 x 235 x 18

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein > Numerische Mathematik

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

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