10392 search results - page 312 / 2079 » Introduction to Computer Science |
194
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
177
click to vote
FECS
2007
15 years 8 months ago
2007
Computing professionals are employed in so many different ways that it is difficult to even define the common foundation that all of them should master; however, a single degree ...
170
click to vote
CCA
2009
Springer
15 years 10 months ago
2009
Springer
d Abstract) Robert Rettinger1 and Xizhong Zheng2,3 1 Lehrgebiet Algorithmen und Komplexit
151
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—We present a comparative analysis of the behavioral dynamics of rural and urban societies using four years
182
click to vote
SOFSEM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Since its very beginning, linear algebra is a highly algorithmic subject. Let us just mention the famous Gau