@inproceedings{weko_118300_1, author = "白木,隆司 and 大和田,勇人 and 溝口,文雄", title = "制約論理プログラミング言語による定性シミュレーション", booktitle = "全国大会講演論文集", year = "1990", volume = "第40回", number = "人工知能及び認知科学", pages = "190--191", month = "mar" }