Sciweavers

17129 search results - page 172 / 3426
» Applied Computing
Sort
View
104
Voted
BIRTHDAY
2005
Springer
15 years 4 months ago
Bridging Theorem Proving and Mathematical Knowledge Retrieval
Christoph Benzmüller, Andreas Meier, Volker S...
68
Voted
CIE
2005
Springer
15 years 4 months ago
Uniform Operators
Ivan N. Soskov
62
Voted
CIE
2005
Springer
15 years 4 months ago
The Church-Turing Thesis: Breaking the Myth
Dina Q. Goldin, Peter Wegner