Login / Signup

A PROLOG Environment for Developing and Reasoning about Data Types.

Jieh HsiangMandayam K. Srivas
Published in: TAPSOFT, Vol.2 (1985)
Keyphrases