Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
программирование в ограничениях
Связанные издания:
Abstraction, Reformulation, and Approximation: Proc./7th International Symposium, SARA 2007, Whistler,Canada,July 2007
Advances in Artificial Intelligence: Proc./18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005. Victoria, Canada, May 2005
Advances in Artificial Intelligence: Proc./20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007. Montreal, Canada, May 2007
Advances in Information Systems: Proc./4th International Conference, ADVIS 2006. Izmir, Turkey, October 2006
Agents as Constraint Objects
AI 2007: Advances in Artificial Intelligence: Proc./20th Australian Joint Conference on AI. Gold Coast, Australia, December 2007
Algebraic Methodology and Software Technology: Revised Selected Papers/13th International Conference, AMAST 2010, Lac-Beauport,QC,Canada, June 2010
Algorithm Engineering: Bridging the Gap between Algorithm Theory and Practice
Analytical and Stochastic Modeling Techniques and Applications: Proc./17th International Conference, ASMTA 2010, Cardiff, UK, June 2010
Ant Colony Optimization and Swarm Intelligence: Proc./6th International Conference, ANTS 2008. Brussels, Belgium, September 2008
Applications of Declarative Programming and Knowledge Management: Selected Papers/15th International Conference INAP 2004, and 18th Workshop WLP 2004.Potsdam,Germany,March 2004
A reliable linear constraint solver for the UniCalc system
Artificial Intelligence and Symbolic Computation: Proc./8th International Conference, AISC 2006. Beijing, China, September 2006
Artificial Intelligence: Methodology, Systems, and Applications: Proc./14th International Conference, AIMSA 2010, Varna, Bulgaria, September 2010
Computational Science and Its Applications - ICCSA 2006: Part III: Proc./International Conference. Glasgow, UK, May 2006
Constraint-based analysis of composite solvers
Constraint Logic Programming: Select Research
Constraint Solving and Language Processing: Revised Selected and Invited Papers/First International Workshop, CSLP 2004. Roskilde, Denmark, September 2004
Current Topics in Artificial Intelligence: Revised Selected Papers/11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005. Santiago de Compostela, Spain, November 2005
Data Mining and Constrain Programming: Foundations of a Cross-Disciplinary Approach
Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2017 Unifying INAP, WELP, and WLP, Wü rzburg, Germany, September 2017
Explaining Constraint Programming
Fixed-Parameter Algorithms for Artificial Intelligence, Constraint Satisfaction and Database Problems
Frontiers of Combining Systems: Proc./5th International Workshop, FroCos 2005. Vienna, Austria, September 2005
Functional and Constraint Logic Programming: /18th International Workshop, WELP 2009, Brasilia, Brazil, June 2009
Functional and Constraint Logic Programming: Revised Selected Papers/26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 2018
Functional and Constraint Logic Programming: Revised Selected Papers/28th International Workshop, WFLD 2020, Bologna, Italy, September 2020
Functional and Logic Programing: Proc./9th International Symposium, FLOPS 2008. Ise, Japan, April 2008
Functional and Logic Programming: Proc./11th International Symposium, FLOPS 2012, Kobe, Japan, 2012
Global Optimization and Constraint Satisfaction: Revised Selected Papers/Second International Workshop, COCOS 2003. Lausanne, Switzerland, November 2003
Hybrid Metaheuristics: Proc./Third Intl WS, HM 2006. Gran Canaria, Spain, October 2006
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./4th International Conference, CPAIOR 2007. Brussels, Belgium, May 2007
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./5th International Conference, CPAIOR 2008. Paris, France, May 2008
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./6th International Conference, CPAIOR 2009. Pittsburgh, PA, USA, May 2009
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./7th International Conference, CPAIOR 2010, Bologna, Italy, June 2010
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./9th International Conference, CPAIOR 2012, Nantes, France, May 2012
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./Second International Conference, CPAIOR 2005. Prague, Czech Republic, May/June 2005
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./Third International Conference, CPAIOR 2006. Cork, Ireland, May/June 2006
Integration of AI and OR Techniques in Constraint Programming: Proc./11th International Conference, CPAIOR 2014, Cork, Ireland, May 2014
Integration of AI and OR Techniques in Constraint Programming: Proc./12th International Conference, CPAIOR 2015, Barcelona, Spain, May 2015
Integration of AI and OR Techniques in Constraint Programming: Proc./14th International Conference, CPAIOR 2017, Padua, Italy, June 2017
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: Proc./15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 2018
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: Proc./16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 2019
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: Proc./17th International Conference, CPAIOR 2020, Vienna, Austria, September 2020
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: Proc./18th International Conference, CPAIOR 2021, Vienna, Austria, July 2021
KI 2020: Advances in Artificial Intelligence: Proc./43rd German Conference on AI, Bamberg, Germany, September 2020
Knowledge Science, Engineering and Management: Proc./Second International Conference, KSEM 2007. Melbourne, Australia, November 2007
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2020, Deerfield Beach,FL,USA, January 2020
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./18th International Conference, LPAR-18, Merida, Venezuela, March 2012
1
2
следующая ›
последняя »