翻訳と辞書 Words near each other ・ t3 ・ t3 line ・ ta ・ taa ・ tab ・ tab-separated values ・ table ・ table locking ・ tablespace ・ tablet ・ tablog ・ tabsol ・ tabulating machine company ・ tac ・ tacl ・ tacpol ・ tactile user interface ・ tag ・ tag name ・ tagged image file format Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク tablog ： FOLDOC TABLOG A programming language based on {first order predicate logic} with equality that combines {relational programming} and functional programming. It has functional notation and unification as its binding mechanism. TABLOG supports a more general subset of standard first-order logic than Prolog. It employs the Manna-Waldinger 'deductive-tableau' proof system as an interpreter instead of resolution. (1997-06-19) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.