Sharon Sickel

According to our database¹, Sharon Sickel authored at least 3 papers between 1976 and 1977.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1977

Formal Grammars as Models of Logic Derivations.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Predicate Logic: A Calculus for the Formal Derivation of Programs.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

A Search Technique for Clause Interconnectivity Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1976