Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
0902.3635
Cited By
lim+, delta+, and Non-Permutability of beta-Steps
20 February 2009
Claus-Peter Wirth
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"lim+, delta+, and Non-Permutability of beta-Steps"
1 / 1 papers shown
Title
Automation of Mathematical Induction as part of the History of Logic
J. Strother
Claus-Peter Wirth
AI4CE
76
14
0
24 Sep 2013
1
