Solving problems with automated reasoning, expert systems and neural networks
scientific article; zbMATH DE number 1059550
scientific article