Verwandte Artikel zu Constraint Solving and Planning with Picat: 0 (SpringerBrief...

Constraint Solving and Planning with Picat: 0 (SpringerBriefs in Intelligent Systems) - Softcover

 
9783319258812: Constraint Solving and Planning with Picat: 0 (SpringerBriefs in Intelligent Systems)

Inhaltsangabe

This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling.

The book is useful for undergraduate and graduate students, researchers, and practitioners.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling.

The book is useful for undergraduate and graduate students, researchers, and practitioners.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gebraucht kaufen

Zustand: Gut
This book is in very good condition...
Diesen Artikel anzeigen

EUR 46,91 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783319258829: Constraint Solving and Planning with Picat

Vorgestellte Ausgabe

ISBN 10:  3319258826 ISBN 13:  9783319258829
Verlag: Springer, 2016
Softcover

Suchergebnisse für Constraint Solving and Planning with Picat: 0 (SpringerBrief...

Foto des Verkäufers

Neng-Fa Zhou|Håkan Kjellerstrand|Jonathan Fruhman
ISBN 10: 3319258818 ISBN 13: 9783319258812
Neu Kartoniert / Broschiert
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Appropriate for undergraduate and graduate students, researchers, and practitioners Authors combine academic and practical developer community experience Exercises encourage readers to practice the presented modeling techniquesThis bo. Bestandsnummer des Verkäufers 74745354

Verkäufer kontaktieren

Neu kaufen

EUR 51,51
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Neng-Fa Zhou
ISBN 10: 3319258818 ISBN 13: 9783319258812
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module forplanning that is implemented using tabling. The book is useful for undergraduate and graduate students, researchers, and practitioners. Bestandsnummer des Verkäufers 9783319258812

Verkäufer kontaktieren

Neu kaufen

EUR 58,84
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Neng-Fa Zhou
ISBN 10: 3319258818 ISBN 13: 9783319258812
Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Neuware -This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling.The book is useful for undergraduate and graduate students, researchers, and practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch. Bestandsnummer des Verkäufers 9783319258812

Verkäufer kontaktieren

Neu kaufen

EUR 58,84
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Neng-Fa Zhou
ISBN 10: 3319258818 ISBN 13: 9783319258812
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module forplanning that is implemented using tabling. The book is useful for undergraduate and graduate students, researchers, and practitioners. 160 pp. Englisch. Bestandsnummer des Verkäufers 9783319258812

Verkäufer kontaktieren

Neu kaufen

EUR 58,84
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Zhou, Neng-Fa; Kjellerstrand, Håkan; Fruhman, Jonathan
Verlag: Springer, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In English. Bestandsnummer des Verkäufers ria9783319258812_new

Verkäufer kontaktieren

Neu kaufen

EUR 58,69
Währung umrechnen
Versand: EUR 5,78
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Zhou, Neng-Fa
Verlag: Springer 2015-11, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Neu PF

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783319258812

Verkäufer kontaktieren

Neu kaufen

EUR 56,70
Währung umrechnen
Versand: EUR 15,07
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 10 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Zhou, Neng-Fa; Kjellerstrand, Håkan; Fruhman, Jonathan
Verlag: Springer, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers I-9783319258812

Verkäufer kontaktieren

Neu kaufen

EUR 65,07
Währung umrechnen
Versand: EUR 8,54
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Zhou, Neng-fa; Fruhman, Jonathan; Kjellerstrand, Håkan
Verlag: Springer, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 24737559-n

Verkäufer kontaktieren

Neu kaufen

EUR 57,75
Währung umrechnen
Versand: EUR 17,07
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Zhou, Neng-fa; Fruhman, Jonathan; Kjellerstrand, Håkan
Verlag: Springer, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Neu Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 24737559-n

Verkäufer kontaktieren

Neu kaufen

EUR 58,68
Währung umrechnen
Versand: EUR 17,40
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Zhou, Neng-Fa & Håkan Kjellerstrand & Jonathan Fruhman
Verlag: Springer, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Gebraucht Paperback

Anbieter: Mahler Books, PFLUGERVILLE, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Very Good. This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Springerbriefs In Intelligent Systems; 6.1 X 0.38 X 9.25 inches; 159 pages. Bestandsnummer des Verkäufers 01SA24-123-290

Verkäufer kontaktieren

Gebraucht kaufen

EUR 35,13
Währung umrechnen
Versand: EUR 46,91
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Es gibt 8 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen