Brown, Frank M.

3 publications

IJCAI 1985 A Logic Programming and Verification System for Recursive Quantificational Logic Frank M. Brown, Peiya Liu

IJCAI 1977 A Theorem Prover for Elementary Set Theory Frank M. Brown

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