翻訳と辞書
Words near each other
・ type inference
・ type scheme
・ type-ahead
・ type-ahead search
・ typed lambda-calculus
・ typedprolog
・ typeface
・ typo
・ typo squatter
・ typographical error
typol
・ tyt
・ tz
・ u-code
・ u-net limited
・ u.s. robotics, inc.
・ ua
・ uan
・ uart
・ uat


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

typol : FOLDOC
TYPOL
A specialised logic programming language.
["TYPOL: A Formalism to Implement Natural Semantics", T. Despeyroux, RR 94, INRIA, 1988].
(1994-10-31)



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

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