Dictionary De - En
De - Es
De - Pt| English Dictionary: PRL | by the DICT Development Group |
| 1 result for PRL | |
| From The Free On-line Dictionary of Computing (15Feb98) [foldoc]: | |
|
PRL Proof Refinement Logic. Versions: {micro-PRL}, {lambda-PRL}, {nu-PRL}. ["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983]. (1995-01-24) | |
