Skip to content

Analogical Reasoning Based on Higher-Order Unification.

Masateru Harao

VenueBALT
Year1990
ProceedingsALT

Browse the full ALT paper archive.