Вы здесь

Главная

индукция

Связанные издания:

Advanced in Artificial Intelligence: Proc./11th Biennial Conf. of the Canadian Society for Computational Studies of Intelligence, AI 96. Toronto, Ontario, Canada, May 1996
Advances in Case-Based Reasoning
A HOL Package for Reasoning about Relations Defined by Mutual Induction
An algebraic view of structural induction
Artificial General Intelligence: Proc./10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 2017
Artificial Intelligence XXXIV: Proc./37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 2017
Automated Learning of Decision Rules for Text Categorization
Computing Ground Reducibility and Inductively Complete Positions
Design, Implementation and Application of an Extended Ground Reducibility Test
Discrete Algorithmic Mathematics
Efficient Top-down Induction of Logic Programs
Inductive Inference in Reflexive Domains
Inductive Learning Supported by Integer Programming
Inductive Logic Programming: Proc./12th Intern. Conf., ILP 2002, Sydney, Australia, July 2002
Inductive Synthesis of Functional Programs
Interactive Verification of UML State Machines
Iterative Rule Induction Methods
Knowledge Discovery from Epidemiological Databases
Knowledge Discovery in Databases: A Rule-Based Attribute-Oriented Approach
Learning Read-Once Formulas with Queries
Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday
On Quasi-Reducibility and Proofs by Induction in Abstract Data Types
On the Expressive Power of Query Languages
Operationalizing Software Reuse as a Problem in Inductive Learning
Partial inductive definitions
Principles and Practice of Semantic Web Reasoning: Proc./Third International Workshop, PPSWR 2005. Dagstuhl Castle, Germany, September 2005
Robust Constructive Induction
Sufficient Completeness and Parametrized Proofs by Induction
The Case for Inductive Programming
Unique Fixpoint Induction for Mobile Processes
Индуктивный синтез систем подстановок термов
Методы индуктивного вывода и их применение в экспертных системах
Персональный компьютер как средство проведения вычислительных экспериментов с целью формирования математических понятий и гипотез