シライ ヤスユキ 白井 康之 経営学部 経営学科 教授 |
■ 標題 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. |