Sharon Sickel

Information Sciences University of California Santa Cruz CA 95064

2 papers in the IJCAI proceedings

IJCAI 1977

Formal Grammars as Models of Logic Derivations

Details PDF

Predicate Logic: A Calculus for the Formal Derivation of Programs

with Keith L. Clark

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings