Tärnlund, Sten-Åke

5 publications

IJCAI 1983 Mechanization of an Oracle in a Debugging System Anneli Edman, Sten-Åke Tärnlund

IJCAI 1981 Deductive Modeling of Human Cognition Göran Hagert, Sten-Åke Tärnlund

IJCAI 1979 A Natural Programming Calculus Åke Hansson, Sten-Åke Tärnlund

IJCAI 1977 Inductive Reasoning in Mathematics Frank M. Brown, Sten-Åke Tärnlund

IJCAI 1975 An Interpreter for the Programming Languages Predicate Logic Sten-Åke Tärnlund