Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
решение
Связанные издания:
A Comparison of the Decision Table and Tree
A Conservative Approach to Meta-Programming in Constraint Logic Programming
Adaptive Expert Systems and Analogical Problem Solving
A Decision-Making Model for Query Evaluation
A Description Language for Complex Domains
Advanced Agent Technology: Revised Selected Papers/AAMAS 2011 Workshops AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2011
Advanced Information Systems Engineering: Proc./28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 2016
Advances in Brain Inspired Cognitive Systems: Proc./5th International Conference, BICS 2012, Shenyang, China, July 2012
Advances in Brian Inspired Cognitive Systems: Proc./6th International Conference, BICS 2013, Beijing, China, June 2013
Advances in Computer Games: Revised Papers/12th International Conference, ACG 2009, Pamplona, Spane, May 2009
An Analysis of ML Typability
An Organizational Information Systems Enhancement Advice Unit (OISEAU)
Applications of Declarative Programming and Knowledge Management: Revised Selected Papers/19th International Conference, INAP 2011 and 25th Workshop on LP, WLP 2011, Vienna, Austria, September 2011
A Program which Solves Arithmetic Problems in Turkish
A Self-interpreter of lambda Calculus Having a Normal Form
A Simplification Method using BDD for Majority-voting Classifiers
A Strategy for Evaluating Web-Based Discretionary Decision Support Systems
Attitudes: Keys to Problem Identification
Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 2015
Autonomous and Intelligent Systems: Proc./3rd International Conference, AIS 2012, Aveiro, Portugal, June 2012
Bayanihan: Web-Based Volunteer Computing Using Java
Brain and Health Informatics: Proc./International Conference, BHI 2013, Maebashi, Japan, October 2013
Brain Informatics: Proc./International Conference, BI 2011, Lanzhou, China, September 2011
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving
Cognitive Science: An Introduction
Combinatorial Optimization and Applications: Proc./8th International Conference, COCOA 2014, Wailea, Maui,HI,USA, December 2014
Computational Collective Intelligence. Technologies and Applications, Part I: Proc./4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 2012
Computational Logistics: Proc./3rd International Conference, ICCL 2012, Shanghai, China, September 2012
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Computer Algebra in Scientific Computing: Proc./2-th International Workshop, CASC 2018, Lille, France, September 2018
Computer Science - Theory and Applications: Proc./12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 2017
Concept Formation and Usage in Decision Support Systems
Conflict Resolution in Decision Making: Revised Selected Papers/2nd International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 2016
Constraints in Term Algebras
Coordination Models and Languages: Proc./12th International Conference, COORDINATION 2010, Amsterdan, The Netherlands, June 2010
Cross-language identity resolution and approaches to its solution
Database and Expert Systems Applications, Part I: Proc./29th International Conference, DEXA 2018, Regensburg, Germany, September 2018
Data Warehousing and Knowledge Discovery: Proc./14th International Conference, DaWaK 2012, Vienna, Austria, September 2012
Deciding on a Pattern
Decision Logic
Decision procedures for set/hyperset contexts
Decision-Theoretic Troubleshooting
Designing a user-friendly interface for a decision support system
Distributed Constraint Propagation: A Case Study
DSS Structure and Algorithmic Transparency in APL
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains
eScience on Distributed Computing Infrastructure: Achievements of PLGrid Plus Domain-Specific Services and Tools
Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic Arithmetic
Expression and Usage of the Variability in the Software Product Lines
1
2
3
4
следующая ›
последняя »