Abductive Theorem Proving for Analyzing
โ
Maxim Makatchev; Pamela W. Jordan; Kurt VanLehn
๐
Article
๐
2004
๐
Springer Netherlands
๐
English
โ 331 KB