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 :-(

Resolution Methods for the Decision Problem

Name: Resolution Methods for the Decision Problem
Brand: Springer, Berlin
SKU: 01565643
Price: 53.79 EUR
Availability: InStock
Author: C. Fernmüller
ISBN: 9783540567325

C. Fernmüller

Alexander Leitsch

ammet Tanel

Sprache

Englisch

Buch Broschur

Libristo-Code: 01565643

Verlag Springer, Berlin, November 1992

This volume contains work on the decision problem done in§Kazan (Russia), Tallinn (Estonia), and Vie... Vollständige Beschreibung

Libristo-Code: 01565643

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Filosofia Social e Política para os Perplexos Kizito Michael George

Broschur

59.29 €

Oldboy, 1 4K UHD-Blu-ray + 1 Blu-ray + 2 Bonus-Blu-ray (4-Disc Limited Collector's Edition im Mediabook) Park Chan-wook

Blu-ray

49.39 €

Renovatio Europae David Engels

Broschur

20.19 €

Les grands carrés Disney Love stories

Broschur

15.99 €

Ästhetik des Widerstands Peter Weiss

Broschur

25.00 €

COMENTARIO INTEGRAL A LA ENCICLOPEDIA DE LAS CIENCIAS FILOSÓFICAS DE G.W.F. HEGE RAMON VALLS PLANA

Broschur

35.49 €

Zwergenstübchen Backgeheimnisse Elke Schuster

Hardcover

9.95 €

Drachenblutlinie Jana Nuler

Broschur

20.99 €

Geschichte des Christentums in Grundzügen Bernd Moeller

Broschur

29.19 €

Liebe Fanatiker Amos Oz

Broschur

20.59 €

Sicherheit in vernetzten Systemen Christian Paulsen

Broschur

30.00 €

Cómo montar un negocio online BORJA PASCUAL

Broschur

24.29 €

Entwicklungsgeschichte des Kosmos Hermann J. Klein

Broschur

59.90 €

Ripley Bogle Robert McLiam Wilson

Broschur

24.39 €

Ich bin bei dir Sarah Young

Hardcover

20.00 €

Prufungsfragen fur die Qualifizierung zum Gebaude-Energieberater. Volker Beckmann

Hardcover

45.00 €

This volume contains work on the decision problem done in§Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The§authors met several times to discuss and exchange their§results and finally decided to write this monograph§together. Besides a unified treatment of previously§published results there are many new results first presented§in this volume.§The monograph opens with an introduction and a chapter on§terminology, followed by chapters on:§- Semantic clash resolution as decision procedure,§- Completeness of ordering refinements,§- Semantic tree based resolution variants,§- Deciding the class K by an ordering refinement,§- A resolution based method for building finite models.§A final chapter on applications completes the volume.

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 Methods for the Decision Problem

Autor C. Fernmüller, Alexander Leitsch, ammet Tanel

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1993

Anzahl der Seiten 236

EAN 9783540567325

ISBN 3540567321

Libristo-Code 01565643

Verlag Springer, Berlin

Gewicht 290

Abmessungen 155 x 233 x 11

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

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

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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