Parallel Dovetailing and Its Application to Depth-First Proof Number
-
- 保木 邦仁
- 電気通信大学
書誌事項
- タイトル
- Parallel Dovetailing and Its Application to Depth-First Proof Number
- 著者
- Kunihito Hoki, Tomoyuki Kaneko, Akihiro Kishimoto, and Takeshi Ito
収録刊行物
-
- ＩＣＧＡ Ｊｏｕｒｎａｌ
-
ＩＣＧＡ Ｊｏｕｒｎａｌ 36 22-36, 2013