翻訳と辞書 Words near each other ・ teleuse ・ television ・ television interface adaptor ・ telnet ・ telocator alphanumeric protocol ・ telon ・ telos ・ telsim ・ template ・ template code ・ templog ・ tempo ・ temporal database ・ temporal logic ・ tempura ・ ten-finger interface ・ ten15 ・ tendinitis ・ tendra ・ tennis elbow Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク templog ： FOLDOC TEMPLOG Extension of Prolog to handle a clausal subset of first-order temporal logic with discrete time. Proposed by M. Abadi and Z. Manna of Stanford University. ["Temporal Logic in Programming", M. Abadi et al, INtl Symp Logic Prog pp.4-16 (1987)]. スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.