Functional and Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers, Hanus Michael, Sacerdoti Coen Claudio

Автор: Simonis Helmut
Название: Principles and Practice of Constraint Programming: 26th International Conference, Cp 2020, Louvain-La-Neuve, Belgium, September 7-11, 2020, Proceeding
ISBN: 3030584747 ISBN-13(EAN): 9783030584740
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020.

Автор: Santiago Escobar
Название: Functional and Constraint Logic Programming
ISBN: 3642119980 ISBN-13(EAN): 9783642119989
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming.

Автор: Josep Silva
Название: Functional and Constraint Logic Programming
ISBN: 303016201X ISBN-13(EAN): 9783030162016
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.

Автор: Hebrard Emmanuel, Musliu Nysret
Название: Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 17th International Conference, Cpaior 2020, Vienna, Austria,
ISBN: 3030589412 ISBN-13(EAN): 9783030589417
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Algorithmic.- Hypergraph Decompositions.- Multi-Agent Path Finding.- New Constraint Programming Model.- On-Demand Multimodal Transit Systems.- Integer programming techniques.- Constrained Clustering.- Deep Neural Networks.- -Inference and relaxation methods.- Innovative applications of CP/AI/OR techniques.

Автор: Peter Barth
Название: Logic-Based 0–1 Constraint Programming
ISBN: 0792396634 ISBN-13(EAN): 9780792396635
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A logic view of 0-1 integer programming problems, providing insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Operations research techniques are integrated into a logic programming environment.

Автор: Ioannis Vlahavas; Panagiotis Tsarchopoulos; Ilias
Название: Parallel and Constraint Logic Programming
ISBN: 1461373298 ISBN-13(EAN): 9781461373292
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Peter Barth
Название: Logic-Based 0–1 Constraint Programming
ISBN: 146128564X ISBN-13(EAN): 9781461285649
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A logic view of 0-1 integer programming problems, providing new insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class.

Автор: Pavel Brazdil; Alipio Jorge
Название: Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving
ISBN: 354043030X ISBN-13(EAN): 9783540430308
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The tenth Portuguese Conference on Arti?cial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. The conference was organized, as usual, under the auspices of the Portuguese Association for Arti?cial Intelligence (APPIA, http://www.appia.pt).

Автор: Ioannis Vlahavas; Panagiotis Tsarchopoulos; Ilias
Название: Parallel and Constraint Logic Programming
ISBN: 0792383710 ISBN-13(EAN): 9780792383710
Издательство: Springer
Рейтинг:
Цена: 25149.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constraint Logic Programming (CLP) extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. This book presents parallel and constraint logic programming, offering a basic understanding of the two fields.

Автор: Fernбndez Maribel
Название: Logic-Based Program Synthesis and Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings
ISBN: 3030684458 ISBN-13(EAN): 9783030684457
Издательство: Springer
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions.