Case Splitting in an Automatic Theorem P
โ
James P. Bridge, Lawrence Charles Paulson
๐
Article
๐
2012
๐
Springer Netherlands
๐
English
โ 357 KB