0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Constraint Solving and Planning with Picat (Paperback, 1st ed. 2015): Neng-Fa Zhou, Hakan Kjellerstrand, Jonathan Fruhman Constraint Solving and Planning with Picat (Paperback, 1st ed. 2015)
Neng-Fa Zhou, Hakan Kjellerstrand, Jonathan Fruhman
R1,191 Discovery Miles 11 910 Out of stock

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Advances in Precision Laser Spectroscopy
Kelin Gao, Wuming Liu, … Hardcover R4,201 Discovery Miles 42 010
The American Monthly Microscopical…
Anonymous Hardcover R893 Discovery Miles 8 930
Confocal Microscopy - Methods and…
Stephen W. Paddock Hardcover R4,990 Discovery Miles 49 900
The American Monthly Microscopical…
Anonymous Hardcover R862 Discovery Miles 8 620
Drops of Water - Their Marvelous and…
Agnes 1807?-1889 Catlow Hardcover R861 Discovery Miles 8 610
Fluorescence Imaging and Biological…
Raquel Seruca, Jasjit S. Suri, … Paperback R3,139 Discovery Miles 31 390
Quantitative Bioimaging - An…
Raimund J. Ober, E. Sally Ward, … Paperback R1,668 Discovery Miles 16 680
Analytical Atomic Absorption…
Alfredo Sanz-Medel, Rosario Pereiro Hardcover R1,552 Discovery Miles 15 520
The Microscope - Its Construction and…
Henri Van 1838-1909 Heurck Hardcover R994 Discovery Miles 9 940
Image Analysis of Food Microstructure
John C. Russ Paperback R2,083 Discovery Miles 20 830

 

Partners