%0 Conference Paper %1 conf/icai/MabuchiAKI05 %A Mabuchi, Hiroshi %A Akama, Kiyoshi %A Koike, Hidekatsu %A Ishikawa, Takahiko %B IC-AI %D 2005 %E Arabnia, Hamid R. %E Joshua, Rose %I CSREA Press %K dblp %P 627-636 %T Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. %U http://dblp.uni-trier.de/db/conf/icai/icai2005-2.html#MabuchiAKI05 %@ 1-932415-67-X

@inproceedings{conf/icai/MabuchiAKI05, added-at = {2006-01-31T00:00:00.000+0100}, author = {Mabuchi, Hiroshi and Akama, Kiyoshi and Koike, Hidekatsu and Ishikawa, Takahiko}, biburl = {https://www.bibsonomy.org/bibtex/2e976e4a18eb4b847b3d53639a376cbd4/dblp}, booktitle = {IC-AI}, crossref = {conf/icai/2005-2}, date = {2006-01-31}, description = {dblp}, editor = {Arabnia, Hamid R. and Joshua, Rose}, interhash = {74538d9b2827439c7d10d68cc9cbf69e}, intrahash = {e976e4a18eb4b847b3d53639a376cbd4}, isbn = {1-932415-67-X}, keywords = {dblp}, pages = {627-636}, publisher = {CSREA Press}, timestamp = {2006-01-31T00:00:00.000+0100}, title = {Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain.}, url = {http://dblp.uni-trier.de/db/conf/icai/icai2005-2.html#MabuchiAKI05}, year = 2005 }