共 50 条
- [21] Achievements and prospects of program synthesis COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 310 - 346
- [29] ACHIEVEMENTS AND PROSPECTS FOR PARALLEL COMPUTING CONCURRENCY-PRACTICE AND EXPERIENCE, 1991, 3 (06): : 725 - 739
- [30] ACHIEVEMENTS AND PROSPECTS IN THE RUBER SYNTHESIS REVISTA DE CHIMIE, 1982, 33 (09): : 868 - 873