LASP - a Learning Assistant System for Formal Proof
International Workshop on INformatics, IWIN 2011, pp.158-165 (2011)
タグ: assistant, formal, lasp, learning, proof, system
@inproceedings{KiyoyukiMiyazawa2011,
author = {Kiyoyuki Miyazawa and Kozo Okano and Shinji Kusumoto},
title = {LASP - a Learning Assistant System for Formal Proof},
booktitle = {International Workshop on INformatics, IWIN 2011},
pages = {158--165},
year = {2011},
month = {sep}
}