翻訳と辞書
Words near each other
・ prism
・ prisoner of bill
・ privacy
・ privacy enhanced mail
・ private automatic branch exchange
・ private branch exchange
・ private key
・ private manual branch exchange
・ private-key cryptography
・ privileged instruction
prl
・ prmd
・ prml
・ probabilistic
・ probabilistic automaton
・ probe
・ problem state
・ proc
・ procedural
・ procedural language


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

prl : 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)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.