Skip to content
cs-conference-ranking.org

On the Solution of Schubert's Steamroller in Many-Sorted Logic.

Anthony G. Cohn

VenueA*IJCAI
Year1985
ProceedingsIJCAI
DBLP recordconf/ijcai/Cohn85 ↗

Browse the full IJCAI paper archive.