Frank M. Brown

Dept. of Computer Science The University of Kansas Lawrence , Kansas 66045

3 papers in the IJCAI proceedings

IJCAI 1985

A Logic Programming and Verification System for Recursive Quantificational Logic

with Peiya Liu

Details PDF

IJCAI 1977

A Theorem Prover for Elementary Set Theory

Details PDF

Inductive Reasoning in Mathematics

with Sten-Åke Tärnlund

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings