翻訳と辞書
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
mini英和辞書
mini和英辞書
Webster 1913
Latin-English
FOLDOC
Wikipedia English
ウィキペディア
翻訳と辞書 辞書検索
[ 開発暫定版 ]
スポンサード リンク
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.