Related Books

Constraint Solving and Planning with Picat
Language: en
Pages: 155
Authors: Neng-Fa Zhou
Categories: Computers
Type: BOOK - Published: 2015-11-07 - Publisher: Springer

DOWNLOAD EBOOK

This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with t
Advances in Systems Engineering
Language: en
Pages: 518
Authors: Leszek Borzemski
Categories: Technology & Engineering
Type: BOOK - Published: 2021-12-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book features high-quality, peer-reviewed papers from the 28th International Conference Systems Engineering (ICSEng 2021), held at Wrcław University of Sc
Practical Aspects of Declarative Languages
Language: en
Pages: 193
Authors: Marco Gavanelli
Categories: Computers
Type: BOOK - Published: 2016-01-08 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersb
Practical Aspects of Declarative Languages
Language: en
Pages: 224
Authors: Yuliya Lierler
Categories: Computers
Type: BOOK - Published: 2017-01-06 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in Ja
Principles and Practice of Constraint Programming
Language: en
Pages: 984
Authors: Helmut Simonis
Categories: Mathematics
Type: BOOK - Published: 2020-09-06 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neu