翻訳と辞書
Words near each other
・ look and feel
・ looking glass
・ looks
・ loop
・ loop combination
・ loop fusion
・ loop through
・ loopn
・ loops
・ loose bytes
lop
・ lord high fixer
・ lore
・ lorem ipsum
・ lorenz attractor
・ loria
・ lose
・ loser
・ losing
・ loss


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

lop : FOLDOC
LOP
A language based on first-order logic.
["SETHEO - A High-Perormance Theorem Prover for First-Order Logic", Reinhold Letz et al, J Automated Reasoning 8(2):183-212 (1992)].



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

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