A Discipline of Programming 论文

1976引用 4749
Computability, Logic, AI AlgorithmsTeaching and Learning Programming