TY - BOOK AU - Korf,Richard E. TI - Learning to solve problems by searching for macro-operators T2 - Research notes in artificial intelligence 5 SN - 0273086901 U1 - 001.535 PY - 1985/// CY - Boston PB - Pitman advanced ER -