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.

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
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. Artikel-Nr. 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. Artikel-Nr. 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. Artikel-Nr. ria9783319258812_new

Verkäufer kontaktieren

Neu kaufen

EUR 58,54
Währung umrechnen
Versand: EUR 5,76
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/ Fruhman, Jonathan/ Kjellerstrand, Håkan
ISBN 10: 3319258818 ISBN 13: 9783319258812
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

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

Paperback. Zustand: Brand New. 160 pages. 9.25x6.10x0.47 inches. In Stock. Artikel-Nr. x-3319258818

Verkäufer kontaktieren

Neu kaufen

EUR 82,50
Währung umrechnen
Versand: EUR 11,57
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb