Tra từ prl - Từ điển Máy Tính

Từ điển Máy Tính - Foldoc Dictionary

prl PRL Proof Refinement Logic. Versions: micro-PRL, lambda-PRL, nu-PRL. ["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983]. Last updated: 1995-01-24