Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
0902.3294
Cited By
Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?
17 February 2009
Claus-Peter Wirth
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?"
Title
No papers
