Critical Agents Supporting Interactive Theorem Proving Chapter uri icon

publication date

  • January 1, 1999

start page

  • 208

end page

  • 221