シライ ヤスユキ
  白井 康之   経営学部 経営学科   准教授
■ 標題
  Constraint Propagation of CP and CMGTP : Experiments on Quasigroup Problems
■ 概要
  
  共著   Workshop 1C (Automated Reasoning in Algebra), 12th International Conference on Automated Deduction (CADE-12), Nancy, France      1994/06


Copyright(C) 2011 Daito Bunka University, All rights reserved.