Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
0902.3749
Cited By
v1
v2
v3 (latest)
Hilbert's epsilon as an Operator of Indefinite Committed Choice
21 February 2009
Claus-Peter Wirth
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Hilbert's epsilon as an Operator of Indefinite Committed Choice"
2 / 2 papers shown
Title
lim+, delta+, and Non-Permutability of beta-Steps
Claus-Peter Wirth
LRM
55
4
0
20 Feb 2009
Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?
Claus-Peter Wirth
90
4
0
17 Feb 2009
1
