LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Automatic Programming for End Users: The TOAD System
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |