10848 search results - page 81 / 2170 » Programming in Biomolecular Computation |
127
click to vote
LICS
1989
IEEE
15 years 8 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
253
click to vote
Lecture Notes
"This course has two objectives. First (and obvious) is to teach programming.
Second is to present some fundamental principles of computer science,
especially algorithm desi...
166
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
136
click to vote
SIGADA
2001
Springer
15 years 8 months ago
2001
Springer
We present one approach to teaching basic computer science concepts with robotics, using an Ada interface to Lego Mindstorms™ 1 . We show simple problems put to students with no...
138
click to vote
AAAI
1990
15 years 5 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...