1209 search results - page 12 / 242 » Universal Algebra and Computer Science |
SIGCSE
2010
ACM
14 years 1 months ago
2010
ACM
While the discipline of computing has evolved significantly in the past 30 years, Computer Science curricula have not as readily adapted to these changes. In response, we have rec...
ACSC
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper describes the use of the reflective journal in a computer programming course at the University of South Australia. We describe rationale for the journal relating it to ...
SYNTHESE
2008
13 years 8 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
APSEC
2000
IEEE
14 years 1 months ago
2000
IEEE
Experience from industry shows that graduates in computer science generally lack many of the skills required in software development projects. This presents a challenge to academi...
FOCS
2000
IEEE
14 years 1 months ago
2000
IEEE
