Skip to content
cs-conference-ranking.org

Mechanizing a Particularly Expressive Many Sorted Logic.

Anthony G. Cohn

VenueA*IJCAI
Year1979
ProceedingsIJCAI
DBLP recordconf/ijcai/Cohn79 ↗

Browse the full IJCAI paper archive.