Sten-Åke Tärnlund

5 papers in the IJCAI proceedings

IJCAI 1983

Mechanization of an Oracle in a Debugging System

with Anneli Edman

Details PDF

IJCAI 1981

Deductive Modeling of Human Cognition

with Göran Hagert

Details PDF

IJCAI 1979

A Natural Programming Calculus

with Åke Hansson

Details PDF

IJCAI 1977

Inductive Reasoning in Mathematics

with Frank M. Brown

Details PDF

IJCAI 1975

An Interpreter For The Programming Languages Predicate Logic

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings