11345 search results - page 261 / 2269 » Foundations of Computer Science |
171
Voted
ICALP
2004
Springer
16 years 14 days ago
2004
Springer
209
click to vote
FECS
2006
15 years 8 months ago
2006
- This paper focuses on introductory computer science courses offered to students not majoring in computer science. In particular, the issues of student motivation and engagement i...
221
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...