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

Constraints in Computational Logics. Theory and Applications

Name: Constraints in Computational Logics. Theory and Applications
Brand: Springer, Berlin
SKU: 05273966
Price: 45.49 EUR
Availability: InStock
Author: Hubert Comon
ISBN: 9783540419501

Theory and Applications. International Summer School, CCL '99. Gif-sur-Yvette, France, September 5-8, 1999. Revised Lectures

Hubert Comon

Claude Marche

Ralf Treinen

Sprache

Englisch

Buch Broschur

Libristo-Code: 05273966

Verlag Springer, Berlin, November 2000

Constraints provide a declarative way of representing infinite sets of data. They are well suited fo... Vollständige Beschreibung

Libristo-Code: 05273966

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Das Kaffeehaus - Bewegte Jahre Marie Lacrosse

Broschur

15.00 €

Die dauernde Neutralität. Manfred Rotter

Broschur

89.90 €

Gebrandmarkt Susanne Röckel

Broschur

20.00 €

Der Schutz der Psyche im Strafrecht Florian Knauer

Hardcover

126.09 €

Svobodná v Evropě Lída Rakušanová

Audio CD

12.89 €

story of international trade Phyllis Dean

Adobe ePub DRM

11.09 €

Le Bossu Paul Feval (Père)

Broschur

10.89 €

Przygody Tintina. Tom 1 Hergé

Hardcover

23.49 €

Svatební historky aneb Jak jsem se nevdala Lucie Macháčková

Hardcover

11.19 €

Jak sztuczna inteligencja zmieni twoje życie Marek Tłuczek

Broschur

14.29 €

Ritualtheorien von Arnold van Gennep und Victor Turner im Vergleich Simon Knopf

Broschur

9.99 €

Investigacion en Resiliencia Eugenio Saavedra Guajardo

Broschur

45.89 €

Il Progetto Vivaldi 1-3, 3 Audio-CDs S. /Cappella Gabetta/Sonatori Gioiosa Marca Gabetta

Audio CD

26.99 €

Aussenpolitik in Engen Grenzen Hermann Wentker

Hardcover

54.95 €

Traite Theorique Et Pratique de la Photographie Sur Collodion Auguste Belloc

Broschur

15.99 €

Memorias de un amante sarnoso Groucho Marx

Broschur

9.39 €

Filosofía, qué es eso : saber y ser en occidente y oriente Vicente Merlo Lillo

Broschur

17.19 €

Huckleberry Finn, 3 Audio-CDs Mark Twain

Audio CD

9.99 €

Leed In Wille: Fen Eeltsje Halbertsma In De Flotgaerzen (1854) Eeltsje Halbertsma

Broschur

41.59 €

Violintechnik intensiv. Bd.3 Josef Märkl

Noten

26.00 €

Esel sind auch nur Menschen Gerhard Eckert

Broschur

5.99 €

Sämtliche Erzählungen Heinrich von Kleist

Broschur

28.00 €

Robby, meine Freunde und ich.....: Band 2 Die Gemeinschaft Friedrich Lohmann

Broschur

8.59 €

Der Kampf um Colorania 05 Anette Sorge

Hardcover

12.99 €

Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects. This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gifsur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.

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 Constraints in Computational Logics. Theory and Applications

Autor Hubert Comon, Claude Marche, Ralf Treinen

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2001

Anzahl der Seiten 316

EAN 9783540419501

ISBN 3540419500

Libristo-Code 05273966

Verlag Springer, Berlin

Gewicht 482

Abmessungen 156 x 234 x 17

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Objektorientierte Programmierung (OOP)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Betriebssysteme

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