翻訳と辞書 Words near each other ・ qlog ・ qmqp ・ qmtp ・ qmw ・ qnx ・ qos ・ qpe ・ qsam ・ qt-objects ・ qtrader ・ qu-prolog ・ quad ・ quadralay corporation ・ quadrature amplitude modulation ・ quadruple bucky ・ quadruplex ・ quake ・ qualcomm ・ quality ・ quality assurance Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク qu-prolog ： FOLDOC Qu-Prolog An extension of Prolog which performs {meta-level computations} over {object languages}, such as {predicate calculi} and {lambda-calculi}, which have object-level variables, and quantifiers that create local {scopes} for those variables. Qu-Prolog is well suited as an implementation language for {theorem provers} and support notations typically found in texts on mathematics and logic. スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.