11345 search results - page 261 / 2269 » Foundations of Computer Science |
160
Voted
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
193
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...
206
click to vote
LICS
2007
IEEE
16 years 26 days 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...